Logic and Computation
CS 2800 Spring 2011

College of Computer and Information Science
Northeastern University

Please attend class and take notes.

Please read them as soon as they are available.

Date
Topic
Jan 25 2011 Notes on ACL2s language
Feb 2 2011 Notes on Boolean Logic

The following notes were taken by the TAs. They were not vetted by the instructors. There, you were warned.

Date
Feb 24
Mar 7
Mar 9
Mar 10
Mar 14
Mar 17
Mar 21
Mar 23
Mar 24
Mar 28
Mar 31
Apr 4
Apr 6
Apr 7
Apr 14