2014-04-15から1日間の記事一覧

■

教室は前回と同じく第二演習室です！授業第二回目の今回は、形式言語における「自然数もどき」（こと自然数を表現する計算機内のコード）・項･命題などの帰納的定義を紹介します。帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な道具で…