Please read lecture notes as soon as they are posted. Send Feedback! If you find errors, I'll give you EXP. 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 10 | The ACL2s Programming Language | |
Jan 17 | Propositional Logic | |
Feb 6 | Equational Reasoning | |
Feb 21 | Definitions and Termination | |
Feb 21 | Induction | |
Apr 1 | Steering ACL2s | |
Apr 1 | Abstract Data Types |