Logic and Computation
CS 2800 Fall 2023

Khoury College of Computer Sciences
Northeastern University

Asking Questions About Homework
We will use Piazza for homework and class discussions. The system is highly catered to getting you help fast and efficiently from classmates, the TA, and faculty. Do not email questions to the teaching staff; instead post your questions on Piazza. If you have any problems or feedback for the developers, email team@piazza.com.

Click on the Piazza link on the sidebar to access our Piazza page.

Do not ask if your solutions are correct: the point of the homework is to have you try and solve a problem on your own. Do ask clarification questions and do ask conceptual questions.

Unless otherwise indicated, homework is due by 11:00PM on the due date. Late homeworks will not be accepted under any circumstances. Homeworks are accessible from canvas.

Homework #
Due Date
Solutions
HWK 1 9/12/2023
HWK 2 9/22/2023 Solutions
HWK 3 10/3/2023 Solutions
HWK 4 10/10/2023 Solutions
HWK 5 10/17/2023 Solutions
HWK 6 10/24/2023 Solutions
HWK 7 11/7/2023 Solutions
HWK 8 .lisp .proof 11/14/2023 Solutions
HWK 9 11/27/2023 Solutions
HWK 10 12/4/2023