2011-12-01から1ヶ月間の記事一覧
授業スライド p.43-45 を参考にしてください。 レポート問題 授業スライド p.44-45 を見てください(日頃の宿題の出来に自身がある人は提出する必要はありません)。
平常授業: 12/20:古典述語論理の完全性 1/11:古典論理の演習 1/18(最終回) :カリー・ハワード対応(エクストラ) 授業なし: 12/27, 1/3
授業スライド こちらから
前回の復習 古典命題論理の健全性 古典述語論理の健全性 他の体系 今後の予定
授業第二十三回目、本日は、メタの帰納法により、古典命題論理と古典述語論理の健全性定理の証明をします。 また、ヒルベルト流(Hilbert style)や推件計算(sequent calculus)などの、自然演繹とは異なったスタイルの論理体系の書き方を紹介します(紹介して…
訂正:レポート問題〆切は1/17(火)の授業終了後とします。
授業スライド p.43-45 を参考にしてください。
平常授業: 12/20:古典述語論理の完全性 1/11:古典論理の演習 1/18(最終回) :カリー・ハワード対応(エクストラ) 授業なし: 12/27, 1/3
授業スライド こちらから
前回の復習 宿題の答え合わせ 命題論理の完全性 述語論理の完全性 宿題
授業第二十二回目、本日は古典命題論理と古典述語論理の完全性定理の話をします。 今回はまず、古典命題論理の完全性定理を、反例を作るときに昔から使用される「分析的推論」を一般化した証明探索樹を使った真理関数の構成法を解説します。また、古典述語論…
12/06:休講 12/13:平常授業(古典論理の完全性定理1) 12/20:平常授業(古典論理の完全性定理2) 1月:2回程度(カリー・ハワード対応) 1月の授業は、エクストラ扱いで、成績にはカウントしません。 また、12/13に成績(および必要な人のための特別課題…
12/6(火)は休講です。