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