Logic and Computation
CS 2800 Spring 2012

College of Computer and Information Science
Northeastern University

Tue Apr 17, 2012

The final for both sections will be on Monday April 23 from 3:30-5:30PM in Richards Hall 200.


Fri Apr 13, 2012

The last set of lecture notes has been posted.


Thu Apr 12, 2012

Lab 13 has been posted.


Thu Apr 5, 2012

Homework 12 has been posted.


Mon Apr 2, 2012

Quest 5 has been posted.


Mon Apr 2, 2012

New lecture notes were added.


Thu Mar 22, 2012

A new hint was added to Quest 4.


Thu Mar 22, 2012

Lab 10 has been posted (click on Labs). Starting with this lab, we are going to have you work on problems in the lab. We will split you up into groups and you will have a certain amount of time to solve problems. Then we will select a group and a representative from that group to present solutions. Your EXP will depend on participation and the quality of the solutions of your representative. See the more detailed notes in lab 10.


Wed Mar 28, 2012

Homework 11 has been posted. Solutions to Homework 10 have been posted.


Wed Mar 28, 2012

Lab 11 has been posted.


Thu Mar 22, 2012

Quest 4 has been posted.


Thu Mar 22, 2012

HW10 has been posted.


Fri Mar 16, 2012

HW9, an optional homework, has been posted.


Wed Mar 14, 2012

Solutions to HW8 have been posted.


Tue Mar 13, 2012

New lecture notes have been posted.


Sat, Mar 10, 2012

New lecture notes have been posted.


Thu, Mar 1, 2012

Homework 8 has been posted.


Wed, Feb 29, 2012

Solutions to Homework 7 have been posted.


Wed, Feb 22, 2012

Starting with homework 7 and continuing until homework 9, we will assign new partners. You now can choose who you want to work with, so please choose wisely. You have until 8PM on Thursday to select a partner. If you do not, then we will select a partner for you. Here are the rules.
Wed, Feb 22, 2012

Homework 7 has been posted.


Wed, Feb 22, 2012

Solutions to Homework 6 have been posted.


Thu, Feb 16, 2012

Thomas Wahl: My office hours on Tue, Feb 21 need to be canceled. Email me for alternatives.


Wed, Feb 15, 2012

Homework 6 has been posted.


Tue, Feb 14, 2012

Solutions to homework 5 have been posted.


Tue, Feb 14, 2012

There is a new column in the lecture notes page with notes, which contains a list of updates to the notes. I record what I did and when. Hopefully this will be useful to the class.


Tue, Feb 14, 2012

New lecture notes are up.


Fri, Feb 10, 2012

Homework 5 is up.


Wed, Feb8, 2012

Reminder. There is an exam tomorrow. We will have a review session in 305 SH starting at 6PM.


Wed, Feb 8, 2012

Solutions to homework 4 have been posted.


Thu, Feb 2, 2012

By popular request, copies of the exams we gave in Spring 2011 are now available on the Syllabus Web page. Notice that we had six exams that semester. The material covered in class changes from semester to semester, so please understand that there may be no relationship between the 2011 exams and the exams you get in class. Solutions are not provided. Work out the solutions yourselves and if you run into trouble, go to office hours.


Thu, Feb 2, 2012

Homework 4 has been posted.


Tue, Jan 30, 2012

We have added detailed instructions about the labs on the syllabus. Make sure to follow the link to the Lab instructions page from the syllabus.


Fri, Jan 27, 2012

Lecture Notes for Propositional logic have been posted.


Fri, Jan 27, 2012

Homework 3 has been posted.


Fri, Jan 27, 2012

Homework 2 solutions have been posted. We will not make such announcements in the future.


Thu, Jan 26, 2012

Here are the rules for quests.
Thu, Jan 26, 2012

All of your quiz experience points have been recorded on Blackboard.


Thu, Jan 12, 2012

Lecture Notes have been posted.


Thu, Jan 12, 2012

Homework 1 is available under Assignments to your left. Also read the submission instructions that are mentioned on that page.


Mon, Jan 9, 2012

Click here to access our Piazza page.


Mon, Jan 9, 2012

Don't forget to purchase your TurningPoint Responder Card RF. Click on basic information to your left for details.


Mon, Jan 9, 2012

Welcome to the Spring 2012 edition of CS 2800.