Logic and Computation
CS 2800 Spring 2020

Khoury College of Computer Sciences
Northeastern University

Information on the labs appears below. All Labs are on Fridays in WVH 212 on Bluejeans.

Labs will go over course topics that you need to master for homeworks and exams.

See the syllabus for a further description of how labs work. Bring your laptops to lab so that you can use ACL2s

WVH 212
11:45AM-12:35PM Andrew Walter
Brianna Calareso
Nathaniel Rosenbloom
12:40PM-1:30PM Andrew Walter
Nathaniel Rosenbloom
Brianna Calareso
1:35PM-2:25PM Andrew Walter
Matthew Dean
Anni Yuan
2:30PM-3:20PM Andrew Walter
Anni Yuan
3:25PM-4:15PM Andrew Walter
Brianna Calareso

We will post lab assignments here. Solutions are included for post coronavirus labs.

Lab #
Lab 1 1/10/2020
Lab 2 1/17/2020
Lab 3 1/24/2020
Lab 4 1/31/2020
Lab 5 2/7/2020
Lab 6 2/14/2020
Lab 7 2/21/2020
Lab 8 2/28/2020
Lab 9 3/13/2020 Solutions
Lab 10 3/20/2020 Solutions
Lab 11 3/27/2020 Solutions
Lab 12 4/3/2020 Solutions
Lab 13 4/10/2020