授業スライド こちらから 授業要旨 こちらから

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

授業第二回目、形式言語における自然数もどき・項･命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な道具で、今後頻出するので、ぜひ覚えておいて下さい。