Please read lecture notes soon after the posted date. The course is designed for you to read the notes and then attend class to clarify things.
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.
|
Date
|
Topic
|
Notes
|
| May 8 | The ACL2s Programming Language | |
| May 15 | Propositional Logic | |
| May 21 | Equational Reasoning | |
| May 29 | Definitions and Termination | |
| June 5 | Induction | |
| N/A | Steering ACL2s | This is optional material. |
| June 11 | Abstract Data Types and Observational Equivalence |
|