CS2800: Logic and Computation
Fall 2010

[Syllabus] [Lectures] [Assignments] [Labs]



Lectures: Monday, Wednesday, and Thursday, 4:35PM-5:40PM, 308 Snell Engineering Center

Lab: Fridays, 4:20PM-5:10PM or 5:15PM-6:05PM, 212 WVH

Exams: 9/22, 10/6, 10/20, 11/3, 11/17, and 12/1, 4:35 PM-5:40 PM, Location 308 Snell Engineering Center

Final exam: 8:00AM 12/10 Location 7 Snell Library


Harsh Raju Chamarthi, Instructor
Office: 316 WVH
Office hours: Mondays after class, Wednesdays 1:30 - 3:30PM and by appointment

Mitesh Jain, TA
Office: 316 WVH
Office hours: Tuesdays 4 - 6PM and by appointment

Ian Helmke, Tutor
Location: 102WVH
Office hours: by appointment


Students will use the ACL2s development environment for the ACL2 theorem proving system.

Home installation. If you already have Eclipse, follow the detailed install instructions. Otherwise, simply get the prepackaged Eclipse+ACL2s+ACL2, which works out of the box.

In CCIS Labs. Refer to this page for how to find and configure ACL2s in the labs.

Academic Integrity

Read and intimately familiarize yourselves with the Northeastern Academic Integrity policy.