論理学上級番外編のお知らせ

以下の要領で論理学上級の番外編が行われます。ぜひご参加下さい。

 

論理学上級番外編:完全性定理と不完全性定理
講師:矢田部俊介
日時:2017年3月25日(土)10:30 ~ 17:30
テーマ:
(10:30-12:00)古典述語論理の完全性定理
(13:00-15:00)モデルの中でモデルをつくる
(15:30-17:30)不完全性定理のモデル論的証明

場所:
京都大学文学部第11演習室(総合研究2号館1F南側)
キャンパスマップの34番のたてものです。
http://www.kyoto-u.ac.jp/ja/access/campus/yoshida/map6r_y/
土曜は建物の西側の入り口のみあいていますのでご注意ください。