Logic and Computation
CS 2800 Fall 2022

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.

Date
Topic
Notes
Sep 12 ACL2s Language Reference This may be updated as we define more functions
Sep 12 The ACL2s Programming Language
Sep 27 Boolean Logic
Oct 11 Equational Reasoning