Logic and Computation
CS 2800 Spring 2019

Khoury College of Computer Sciences
Northeastern University

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.

Jan 14 ACL2s Language Reference This will be updated as we define more functions
Jan 10 The ACL2s Programming Language Updated 1/30
Jan 21 Propositional Logic Updated 2/9
Feb 4 Equational Reasoning Updated 2/22
Feb 11 Definitions and Termination Updated on 2/26
Feb 21 Induction Updated on 3/1
Feb 21 Steering ACL2s This is optional material. Don't read it, unless you're really interested.
Mar 25 Abstract Data Types and
Observational Equivalence
Updated on 3/29
Apr 3 Reasoning about Imperative Code Updated on 4/9