2020年度 I211 数理論理学

講義資料:: 講義ノート (随時更新); LKの推論規則表 (命題論理); LKの推論規則表 (述語論理); 講義スライド第1回; 講義スライド第2回; 講義スライド第3回; 講義スライド第4回; 講義スライド第5回; 講義スライド第6回; 講義スライド第7回; 講義スライド第8回; 講義スライド第9回; 講義スライド第10回; 講義スライド第11回; 講義スライド (補講)
演習問題: 対面講義で扱う. 提出方法は講義時に説明.: 演習問題1; 演習問題2; 演習問題3; 演習問題4; 演習問題5; 演習問題6
レポート問題
Office hour (質問等): 随時受け付ける. LMSを確認の上, メールにて問い合わせのこと.
試験の予定(暫定): 中間試験: 11月10日(火) 1限 (LKの推論規則表は配布する); 期末試験: 12月3日(木) 2限 (LKの推論規則表は配布する)