kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 今週より授業開始時間は 16:40 です授業第二回目の今回は、帰納的定義を紹介します。また、その例として、形式言語における「自然数もどき」（自然数を表現する計算機内のコード）、項、命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な道具で、今後頻出します。ぜひ覚えておいて下さい。 授業内容 前回の復習 準備：形式言語 自然数の帰納的定義 項の帰納的定義 命題の帰納的定義 本日の授業資料 授業スライド こちらからダウンロード可能 授業要約・宿題 こちらからダウンロード可能 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F2019%2F04%2F16%2F000000" title=" - 科学哲学科学史 (演習) 論理学" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-04-16 00:00:00 rich https://kyoto-logic.hatenablog.com/entry/2019/04/16/000000 1.0 100%