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