日時 | 火曜日5限(16:45〜18:15) |
場所 | 総合研究7号館1階 情報1 |
オフィスアワー: | 月曜日 17:00〜18:30 (総合研究7号館224) |
(その他の時間は要アポイントメント) |
回数 | date | 講義内容(予定)/配布資料 |
---|---|---|
1 | 4/13 | 事務連絡; 導入; 教科書1章: 自然数の加算・乗算・比較と導出システム(1)/配布資料 |
2 | 4/20 | 教科書1章: 自然数の加算・乗算・比較と導出システム(2) |
3 | 4/27 | 教科書2章 |
4 | 5/11 | 教科書2-3章 |
5 | 5/18 | 教科書4章 |
6 | 5/25 | 教科書5章 |
7 | 6/1 | 教科書7章 |
8 | 6/8 | 教科書8章 |
9 | 6/15 | 教科書9章 |
10 | 6/22 | 教科書10章 |
11 | 6/29 | 末永准教授担当分 |
12 | 7/6 | |
13 | 7/13 | |
14 | 7/20 | |
15 | 7/27 |