2015-04-21から1日間の記事一覧
授業開始時間を 16:40 とします!授業第二回目の今回は、形式言語における「自然数もどき」(こと自然数を表現する計算機内のコード)・項・命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な道具で、今…
授業開始時間を 16:40 とします!授業第二回目の今回は、形式言語における「自然数もどき」(こと自然数を表現する計算機内のコード)・項・命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な道具で、今…