Logic and Computation
CS 2800 Spring 2012

College of Computer and Information Science
Northeastern University

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.

Jan 18 The ACL2s Programming Language
Jan 27 Propositional Logic
Feb 14 Equational Reasoning Notes
Mar 10 Equational Reasoning Notes
Mar 10 Definitions and Termination Notes
Mar 13 Induction Notes
Apr 2 Steering ACL2s Notes
Apr 2 Abstract Data Types Notes