論理学上級番外編：完全性定理／カリー・ハワード対応 講師：矢田部俊介 日時：２０１７年２月１８日（日）１０時３０分〜１７時半 場所：文学部第５講義室 テーマ： （10:30-12:00）古典述語論理の完全性定理 （13:00-15:00）カリー・ハワード対応：証明と…

補講日程 ご入力ありがとうございます！補講は、現在、2月18日開催で教務と接触中です。日にちが決まったらまたご連絡します。 学部横断授業の日程変更 以前授業で連絡した学部横断講義「論理学上級I」ですが、開催日が変更になりました： 変更前：1月27日、…

後期授業・補講の日程調整 1月23日（火）までにこちらのリンク先で投票して下さい。 後期授業第八回目、本日は古典命題論理の完全性定理と健全性定理の話をします。 今回は、古典命題論理の完全性定理を、反例を作るときに昔から使用される「分析的推論」を…