Please read lecture notes as soon as we reach them during
lecture (I won't sequentially release them to avoid forgetting)
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
|
| September 6 | The ACL2s Programming Language | |
| |
Propositional Logic | |
| |
Equational Reasoning | |
| |
Definitions and Termination | |
| |
Induction | |
| |
Abstract Data Types and Observational Equivalence |
|