2020-05-19 ■ 授業第二回目の今回は、帰納的定義を紹介します。また、その例として、形式言語における「自然数もどき」(自然数を表現する計算機内のコード)、項、命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な道具で、今後頻出します。ぜひ覚えておいて下さい。 授業内容 前回の復習 準備:形式言語 自然数の帰納的定義 項の帰納的定義 命題の帰納的定義