Please read lecture notes as soon as they are posted. Send Feedback! If you find errors, I'll give you extra credit. However, the errors have to be in the latest version of the notes. As the class progresses, that will unlock new chapters in the notes. Each time a new chapter is unlocked, I will add an entry in the table below.
Date |
Topic |
Notes |
| Jan 13 | The ACL2s Programming Language | Updated Jan 25: Fixed typos |
| Jan 27 | Propositional Logic | |
| Feb 5 | Equational Reasoning | Updated Feb 15: Fixed minor typo |
| Feb 24 | Definitions and Termination | |
| Mar 3 | Induction | |
| Apr 2 |
Abstract Data Types and Observational Equivalence |