Logic and Computation
CS 2800 Fall 2012

College of Computer and Information Science
Northeastern University

Homework

For most homeworks, you will work in a team of size 2. You must pick a partner from the same lab as yours. For maximum educational benefits, we recommend that you to first try to solve the problems on your own. Then meet with your teammate to go over your solutions, resolve disagreements and try to solve any remaining problems. We will only grade a subset of the problems assigned.

Below you find the homework assigned (roughly weekly), along with the due date and time, the TA responsible for the homework, and (eventually) solutions.

Frequently asked questions:

1. Is the due time firm? How do I get an extension?

The answers are "yes" and "you don't", in that order. Homework is due by 5:00pm 11:59pm on the due date (usually a Tuesday). Solutions will be posted shortly after that time, so no extensions will be given under any circumstances. Our submission system (see below) will freeze by the due time. If you cannot finish on time, submit whatever you have; partial credit will of course be given.

You do not need to solve every homework perfectly in order to do (very) well in this course. However, this is meant to alleviate emergencies you may have -- use this clause wisely.

2. How do I submit my homework?

We will use a version control software called subversion for homework submission. If that sounds scary to you — don't panic: we will discuss what version control is, and practice its use during the first Lab. Click here for detailed instructions.

Important: do not send homework by email.

3. What if I have questions about the homework?

We will use the Piazza Q & A platform (see syllabus) for homework clarification questions. As explained in the syllabus, do not email technical questions to the teaching staff; instead post your questions on Piazza.

Before a homework is due, never post any solutions you have come up with on Piazza (say, in order to ask, "Is this correct?"). In fact, do not ask "Is this correct?" kind of questions at all before the due time; they will not be answered. We will help with clarification questions and general advice.

Homework #
Due Date (12:59pm)
Solution
hw01.txt
Sep 11
(none)
hw02.lisp
Sep 18
hw02-solution.lisp
hw03.lisp Sep 25
hw03-solution.lisp
hw04.lisp
Oct 02
hw04-solution.lisp
hw05.lisp
Oct 09
hw06.lisp
Oct 16
hw06-solution.lisp
hw07.lisp Oct 30
hw07-solution.lisp
hw08.lisp Nov 06 hw08-solution.lisp
hw09.lisp Nov 13
hw09-solution.lisp
hw10.lisp Nov 20
hw10-solution.lisp
hw11.lisp note date: Dec 06
hw11-solution.lisp