Logic and Computation
CS 2800 Spring 2014

College of Computer and Information Science
Northeastern University

Homework

Below you find the homework assigned (roughly weekly), along with the due date and (eventually) solutions. Unless otherwise stated, homeworks are due Saturdays by 5pm, to be submitted via Blackboard. The due time is firm. If you have questions about the homework, post them on Piazza.


Homework
Due Date (5:00pm)
Solution
hw01.txt
Jan 18, 2014
(none)
hw02.lisp Jan 25, 2014
hw02-solution.lisp
hw03.lisp Feb 01, 2014
hw03-solution.lisp
hw04.lisp Feb 08, 2014
hw04-solution.lisp
hw05.lisp Feb 22, 2014
hw05-solution.lisp
hw06.lisp
Mar 01, 2014
hw06-solution.lisp
hw07.lisp Mar 15, 2014 hw07-solution.lisp
hw08.lisp
Mar 22, 2014
hw08-solution.lisp
hw09.lisp
Mar 29, 2014
hw09-solution.lisp
hw10.lisp
Apr 15, 2014
hw10-solution.lisp
Famous logicians