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