2010-12-01から1ヶ月間の記事一覧
授業スライド p.33 を参考にしてください。 レポート問題 授業スライド p.34 を見てください(日頃の宿題の出来に自身がある人は提出する必要はありません)。
平常授業: 1/11, 1/18(最終回) :範疇文法(エクストラ) 授業なし: 12/28, 1/4
授業スライド こちらから
前回の復習 古典命題論理の健全性 古典述語論理の健全性 他の体系 今後の予定
授業第二十四回目、本日は古典命題論理と古典述語論理の健全性定理の話をします。 また、ヒルベルト流(Hilbert style)や列計算(sequent calculus)などの、自然演繹とは異なったスタイルの論理体系の書き方を紹介します。
授業スライド p.38 を参考にしてください。
平常授業: 12/21:古典述語論理の完全性 1/11, 1/18(最終回) :範疇文法(エクストラ) 授業なし: 12/28, 1/4
授業スライド こちらから
前回の復習 命題論理の完全性(再) 述語論理の完全性 宿題
授業第二十三回目、本日は古典命題論理と古典述語論理の完全性定理の話をします。 今回はまず、前回紹介した古典命題論理の完全性定理における証明探索樹を使った真理関数の構成法を、実例を使って再度解説します。また、古典述語論理の完全性定理を、命題論…
授業スライド p.30 を参考にしてください。
平常授業: 12/14, 12/21:古典述語論理の完全性 1/11, 1/18(最終回) :範疇文法(エクストラ) 授業なし: 12/28, 1/4
授業スライド こちらから
前回の復習 古典命題論理の健全性 古典命題論理の完全性 宿題
授業第二十二回目、本日は古典命題論理の健全性定理と完全性定理の話をします(述語論理の健全性と完全性は次回に持ち越しです)。 健全性定理は、証明可能な式は恒真式であることを主張し、こちらは証明図の長さに関する(メタの)帰納法により簡単に証明で…