|
Week |
Dates of Class |
Contents |
Homework |
|
1 |
2/26 |
Introduction |
|
|
2 |
3/2, 3/5 |
Sentential
Logic (1) |
1 |
|
3 |
3/9, 3/12 |
Sentential
Logic (2) |
2 |
|
4 |
3/16, 3/19 |
Sentential
Logic (3) |
3 |
|
5 |
3/23, 3/26 |
Midterm 1 - First-Order
Logic (1) |
4 |
|
6 |
3/30 |
First-Order
Logic (1) |
5 |
|
7 |
4/9 (No Class) |
No Class |
|
|
8 |
4/13 (no class), 4/16 (3 hours) |
First-Order
Logic (2) |
6 |
|
9 |
4/20, 4/23 |
First-Order Logic
(3)
|
7 |
|
10 |
4/27, 4/30 (3 hours) |
Midterm
2 - First-Order Logic (4) |
8 |
|
11 |
5/4, 5/7 (3 hours) |
First-Order
Logic (5) |
9 |
|
12 |
5/11, 5/14 |
First-Order
Logic (6) |
10 |
|
13 |
5/18, 5/21 |
Midterm 3 – Temporal
Logic(1) |
|
|
14 |
5/25, 5/28 |
Temporal
Logic (1)(2) |
11 |
|
15 |
6/1, 6/4 |
Temporal
Logic (2)(3) |
12 |
|
16 |
6/8, 6/11 |
Temporal
Logic (3)(4) |
13 |
|
17 |
6/15, 6/18 |
Temporal Logic (4) –
Final |
14 |
|
18 |
6/22, 6/25 |
No Class |
|