Logic and Computation
CS 2800 Spring 2014

College of Computer and Information Science
Northeastern University

Lecture and Notes

On this page we will post notes accompanying the lectures of the class. These notes were used in earlier editions of this class and may thus deviate slightly from what we do this semester, in order or content. Such differences, if any, will be mentioned in the Comments column below.

Please read these notes as soon as they are posted (new posts will be announced). They are part of the learning material. You will be tested on this material in quizzes and exams.

Date
Topic
Comments
Jan 08, 2014
The ACL2 Programming Language

Jan 20, 2014
Propositional Logic

Feb 12, 2014
Equational Reasoning
We are covering
termination
Feb 12, 2014
Definitions and Termination
before equational
reasoning
Mar 20, 2014
Induction