2017年度 I211 数理論理学 (述語論理)

期末試験: 11月30日(木) 1限: 所定の様式のA4用紙１枚の持ち込み可。; 持ち込んだ用紙は試験終了時に答案と一緒に回収する。; LKの推論規則表は試験時に配布する。
演習問題: 随時配布する。: 演習問題1; 演習問題2; 演習問題3; 最終レポート (日本語版); Final report (English version)
Office hour (質問等): 随時受け付ける。メールにて問い合わせのこと。