■

エクストラ補講のご案内

論理学上級番外編：完全性定理と不完全性定理

• 講師：矢田部俊介
• 日時：２０１7年３月２５日（土）１０時３０分〜１７時半
• 場所：京都大学文学部第四講義室第11演習室（総合研究2号館1F南側）
• テーマ：
  • （10:30-12:00）古典述語論理の完全性定理
  • （13:00-15:00）モデルの中でモデルをつくる
  • （15:30-17:30）不完全性定理のモデル論的証明

もちろん出席しなくても成績には全く関係はありませんが、お暇ならご出席を！
また、これはCAPEの講演なので、授業受講者以外ののご参加も歓迎します！