授業スライド こちらからダウンロード可能 授業スライド こちらからダウンロード可能

前回の復習 準備：形式言語 自然数の帰納的定義 項の帰納的定義 命題の帰納的定義 宿題

授業は予定どおり4月23日（火）に開催予定です！授業第二回目の今回は、形式言語における「自然数もどき」（こと自然数を表現する計算機内のコード）・項･命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本…