Logic and Computation
CS 2800 Spring 2010

College of Computer and Information Science
Northeastern University


Thu April 8, 2010

The project is up.


Mon April 5, 2010

Hwk 12 and Lab 12 are up.


Wed Mar 31, 2010

Hwk 11 and Lab 11 are up.


Wed Mar 24, 2010

Lab 10 is up.


Wed Mar 24, 2010

HWK 10 is up.


Wed Mar 17, 2010

Lab 9 is up.


Wed Mar 17, 2010

HWK 9 is up.


Mon Mar 15, 2010

Solutions to HWK 8 are up.


Thu Mar 11, 2010

During lab, we will go over the first three problems from homework 8.


Tue Mar 9, 2010

Homework 8 is up.


Sun Mar 7, 2010

Solutions to HWK 7 are up.


Tue Feb 23, 2010

Homework 7 is up.


Mon Feb 22, 2010

Solutions to HWK6 are up.


Thu Feb 18, 2010

Guidelines on how to write the proofs you submit to us appear here. Please follow the guidelines for homeworks 6 and beyond.


Wed Feb 17, 2010

Lab 6 is up.


Wed Feb 17, 2010

Homework 6 is up. Send partner info to Ian by 11PM today. Please follow the instructions below.


Mon Feb 8, 2010

Lab 5 is up.


Mon Feb 8, 2010

Homework 5 is up. Send partner inof to Ian by 9PM tomorrow (Tuesday). Please follow the instructions below.


Sun Feb 7, 2010

Solutions to homework 4 are up.


Wed Feb 3, 2010

Lab 4 is up.


Mon Feb 1, 2010

Homework 4 is up. Send partner info to Ian by 9PM tomorrow (Tuesday). Follow the instructions below.


Reminder: You can choose your partner for homeworks. You have to send email to Ian J by the deadline we give you (which has been 9PM on Wednesdays). You also have to follow the following rules: send one email per group and make sure that all partner(s) are cc'ed. Also, the subject of the email has to be "CS2800 homework partners". If you fail to follow the instructions, we will assign you a random partner. If that happens and there are an odd number of students left, one of you will have to do the homework on your own.
Wed Jan 27, 2010

Lab 3 is up.


Wed Jan 27, 2010

Homework 3 is up.


Tue Jan 26, 2010

As promised in the review, the solutions to hwk2 are online.


Wed, Jan 20, 2010

The second lab assignment is up. Do it before your lab.


Wed, Jan 20, 2010

The second homework assignment is up.


Mon, Jan 11, 2010

Welcome to the Spring 2010 edition of CS 2800. If you want a copy of the optional course book, please order it from here.


Mon, Jan 11, 2010

Your first homework and lab assignments are up.