2018-04-17から1日間の記事一覧
今週より授業開始時間は 16:40 です授業第二回目の今回は、帰納的定義を紹介します。また、その例として、形式言語における「自然数もどき」(自然数を表現する計算機内のコード)、項、命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの…
今週より授業開始時間は 16:40 です授業第二回目の今回は、帰納的定義を紹介します。また、その例として、形式言語における「自然数もどき」(自然数を表現する計算機内のコード)、項、命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの…