[Main Page] [Syllabus] [Assignments]
We will try to post lecture notes within 24 hours of each lecture. They are meant to augment the textbook and reduce the need to take notes during class.
Lecture |
Date |
Reading |
| Lecture 1 (no material for examination) | Wed 9/10 | |
| Lecture 2 (all relevant material will be repeated in detail) | Thurs 9/11 | |
| Lecture 3 | Mon 9/15 | |
| Lecture 4 | Wed 9/17 | |
| Lecture 5 | Thurs 9/18 | |
| Lecture 6 (Mostly review) | Mon 9/22 | |
| Lecture 7 | Thurs 9/25 | 3.6 |
| Lecture 8 | Mon 9/29 | |
| Lecture 9 & ACL2 language overview | Wed 10/1 | 4.1, 4.2 |
| Lecture 10 & Boolean Identities to Know | Thurs 10/2 | |
| Lecture 11 | Mon 10/6 | 4.3 |
| Lecture 12 | Thurs 10/9 | 6.0 |
| Lecture 13 | Wed 10/15 | |
| Lecture 14 & 15 |
Thurs 10/16 Mon 10/20 |
6.1 |
| Lecture 16 | Thurs 10/23 | 6.2, 7.1 |
| Lecture 17 | Mon 10/27 | |
| Lecture 18 | Wed 10/29 | |
| Lecture 19 | Thurs 10/30 | 6.5 |
| Lecture 20 (Mostly review) | Mon 11/3 | |
| Lecture 21 | Thurs 11/6 | 7.2-7.4 |
| Lecture 22 | Mon 11/10 | |
| Lecture 23 | Wed 11/12 | |
| Lecture 24 | Thurs 11/13 | |
| Lecture 25 (Mostly review) | Mon 11/17 | |
| Lecture 26 | Thurs 11/20 | |
|
Lecture 27, Part A Lecture 27, Part B |
Mon 11/24 | |
|
Lecture 28 |
Mon 12/1 | |
|
Lecture 29 (just review) |
Wed 12/3 | |
|
Lecture 30 |
Mon 12/8 | |
|
Lecture 31 (no material for final) |
Wed 12/10 |