今後の予定

• 11/15：平常授業（直観主義述語論理のクリプキ・フレーム）
• 11/22：休講
• 11/29：平常授業（古典論理のモデル）
• 12/06：休講
• 12/13：平常授業（古典論理の完全性定理1）
• 12/20：平常授業（古典論理の完全性定理2）
• 1月：2回程度（カリー・ハワード対応）

1月の授業は、エクストラ扱いで、成績にはカウントしません。
また、12/13に成績（および必要な人のための特別課題）についての説明を行います。希望者は、冬期休業期間に課題をし、1月に提出して下さい。