| Dates | Reading Sections | Exercises | Due Date |
|
1/6 1/8 1/13 1/15 |
(LPL) 1.1-1.5 (LPL) 2.1-2.5 (LPL) 3.1 |
1.2-1.6 1.9 1.13, 1.14, 1.18 2.1, 2.2 2.10 |
Jan. 15 |
|
1/20 1/22 |
(LPL) 3.2 - 3.7 (LPL) 4.1 - 4.6 (LPL) 6.1 - 6.2 |
3.3 3.20 - 3.22, 3.24 4.2 - 4.3, 4.6, 4.8 4.13, 4.17-4.19 4.20,4.24 4.29, 4.30 4.40 |
Jan. 22 |
|
1/27 1/29 |
(LPL) 6.3- 6.6 (LPL) 7.1 - 7.3 (LPL) 8.1-8.4 |
6.3, 6.6 6.11, 6.13, 6.16 6.17 6.29, 6.32, 6.33 7.12, 7.13, 7.15,7.19 8.18-8.21 8.24,8.37 | Jan. 30 |
| 2/3 2/5 |
(LPL) 17.3 (pp. 479-481) (LPL) 17.4 (LPL) 5.1-5.4 |
8.47, 8.53 17.20 17.33-17.35 17.37,17.40 |
Feb. 6
Here is info about Exam 1 |
| 2/10 2/12 |
EXAM I | EXAM I | Feb. 12
Exam 1 Questions 1-5 solutions (pdf) Exam 1 Questions 6-7 solutions (pdf) |
| 2/17 2/19 |
(LPL) 9.1 - 9.7 (LPL) 10.1 - 10.5 |
9.1-9.3 9.5 9.9, 9.12 9.16, 9.17 9.23-9.25 |
Feb. 20 |
| 2/24 2/26 |
(LPL) 10.1 - 10.5 (LPL) 11.1 - 11.7 (LPL) 12.1 - 12.2, 13.1 (LPL) 12.3 - 12.4 (LPL) 13.2 - 13.3 |
10.1, 10.3 10.13, 10.17,10.20,10.25 11.5,11.6, 11.16,11.17 11.20, 11.30,11.37 Plus: Practice the proofs at the end of lecture notes 13 until you can do them without looking at the answer. |
Feb. 27 |
| 3/2 3/4 |
(LPL) 13.1-13.4 (LPL) 14.1,14.2 |
13.5 - 13.7 13.11, 13.13, 13.15, 13.17, 13.18 13.21, 13.24, 13.25, 13.26 14.2, 14.10 | Mar. 16 at the beginning of class.
An extension, but don't put it off! |
| 3/9 3/11 |
Spring Break | Spring Break | 3/8-3/12 |
| 3/16 3/18 |
EXAM II | EXAM II | Mar. 18 Here is info about Exam 2 |
| 3/23 3/25 3/30 4/1 |
No Class (ITC) 0.1; 1.1 (ITC) 1.1, start 1.2 (ITC) 1.2 |
Sipser 1.1, 1.2, 1.3, 1.4 (pp. 83-84)
Our class placed 1,2,3 in the logic games! | Assignment due April 2 at 4pm |
| 4/6 4/8 |
(ITC) 1.2 (ITC) 1.3 |
1.12, 1.5, 1.6, 1.7, 1.8 | Assignment due April 12 at 4pm |
| 4/13 4/15 |
(ITC) 1.4 | 1.9, 1.11, 1.13, 1.14, 1.15, 1.17 | Assignment is due April 16 at 4pm.
This is a change so that the solutions may be posted that Friday, before the weekend. |
| 4/21 | EXAM III | EXAM III | Wed, April 21 12:00pm - 1:50pm |