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