Logic and Computation
CS 2800 Spring 2018

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 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
Jan 9 The ACL2s Programming Language
Jan 20 Propositional Logic
Jan 31 Equational Reasoning
Feb 14 Definitions and Termination
Feb 26 Induction
Mar 15 Steering ACL2s This is optional material.
Mar 22 Abstract Data Types and
Observational Equivalence