CS2800: Logic and Computation
Fall 2010

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

Announcements:

• 12/1 Final Exam on Dec 10th 8 AM (7 Snell Library)
• 11/29Exam 6 postponed to Thursday(Dec 2nd) 4:35pm
• 10/28Exam 4 next week, date time given below
• 10/28Lecture notes 18 and 19 are up
• 10/6 Second exam today at same time and location as class.
• 10/5 Third HW solutions up.
• 9/22 First exam today at same time and same room where classes take place.
• 9/21 First exam(Wed 9/22) review session today in WVH366.
• 9/15 Second Homework and Lab up.
• 9/15 First Homework due Thursday 16th Sep 11PM.
• 9/7 First Class on Wed Sep 8th.

Dates/Times

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

People

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

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

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

Software

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