注意: 80数名の皆さんへの連絡は，このページを通して行う場合があります．定期的にこのページを確認してください．
対象：クラス1
教室：西5-109
時間：水曜1限(9:00-10:30)
担当：西山悠 (TA: 木下涼, 菅原聖太)
10/30: D演習第1回 集合 (2019/10/25版), 11/13の演習前にレポート提出．
11/13: D演習第2回 命題論理 (2019/10/29版), 11/27の演習前にレポート提出．
11/27: D演習第3回 述語論理 (2019/11/12版), 12/11の演習前にレポート提出．
12/11: D演習第4回 様々な論理式と証明 (2019/11/26版), 1/08の演習前にレポート提出．
01/08: D演習第5回 再帰的定義と数学的帰納法 (2019/12/16版), 1/22の演習前にレポート提出．
01/22: D演習第6回 写像(関数) (2020/01/13版), 2/05の演習前にレポート提出．
02/05: D演習第7回 2項関係(同値関係，順序関係) (2020/02/01版) 第7回のレポート提出はありません．