2011-12-06 今後の予定 12/06:休講 12/13:平常授業(古典論理の完全性定理1) 12/20:平常授業(古典論理の完全性定理2) 1月:2回程度(カリー・ハワード対応) 1月の授業は、エクストラ扱いで、成績にはカウントしません。 また、12/13に成績(および必要な人のための特別課題)についての説明を行います。なるべく出席して下さい。 希望者は、冬期休業期間に課題をし、1月に提出して下さい。