高橋 譲嗣
「数理論理学 I」で学び始めた述語論理について, より進んだ内容を学びます.
講義
授業期間中に課す多数のレポート形式の演習問題に基づいて評価します.
「数理論理学 I」の内容を十分に理解していることが必要です.