|
Week |
Dates of Class |
Contents |
Homework |
|
1 |
2/17, 2/20 (until 1PM) |
Introduction |
|
|
2 |
2/24, 2/27 (until 1PM) |
Sentential
Logic (1) |
1 |
|
3 |
3/3 (1 Class Only) |
Sentential
Logic (2) |
2 |
|
4 |
3/10, 3/13 |
Sentential
Logic (3) |
3 |
|
5 |
3/17, 3/20 |
First-Order
Logic (1) |
4 |
|
6 |
3/24, 3/27 |
First-Order
Logic (2) |
5 |
|
7 |
3/31, 4/3 |
First-Order
Logic (3) |
6 |
|
8 |
4/7, 4/10 |
First-Order
Logic (4) |
7 |
|
9 |
4/17 |
Midterm Week
|
|
|
10 |
4/21, 4/24 |
First-Order
Logic (5) |
8 |
|
11 |
4/28, 5/1 |
First-Order
Logic (6) |
9 |
|
12 |
5/5, 5/8 |
First-Order
Logic (7) |
10 |
|
13 |
5/12, 5/15 |
Temporal
Logic (1) |
11 |
|
14 |
5/19, 5/22 |
Temporal
Logic (2) |
12 |
|
15 |
5/26, 5/29 |
Temporal
Logic (3) |
13 |
|
16 |
6/5 |
Temporal
Logic (4) |
14 |
|
17 |
6/9, 6/12 |
Temporal
Logic (5) |
15 |
|
18 |
6/19 |
Final Week |
|