論理学授業補講日

前回の授業でお伝えした、授業の補講日が決定いたしました。

• 時間：２０１５年２月２１日（土）１３時〜１７時半
• 場所：京都大学文学部　第四講義室
• テーマ：
  • （13:00-15:00）古典述語論理とそのモデル　配布資料はこちら
  • （15:30-17:30）不完全性定理のモデル論的証明　配付資料はこちら

CAPEウェブサイトへのリンクはこちら。
授業資料は、完成し次第、本ページからリンクを貼ります。