Sections

Section 01: M,W,Th 4:35 PM-5:40 PM, Forsyth 130
Instructors:

• Pete Manolios
  Office hours: Tuedays 5-7PM in WVH 346, and by request
  Email:
  

For TAs and Tutors, click on Contact Info on your left.

The final schedule is:

• Section 01, Manolios, 8:00AM-10:00AM in Robinson Hall 411 on Dec 12, 2011.

You are required to check for announcements daily.

Rules

• No electronic devices (computers, recording devices, phones, etc) in class without permission first.
• If you don't understand something, please ask questions. I love questions. One of the benefits of attending a university as opposed to reading a book is that you get to interact with faculty.
• Keep it real. Tell me what works; what doesn't. What you like; what you don't like.

Book

There is no required book. If you want a reference that also includes a lot of exercises, then consider: Computer Aided Reasoning. Kaufmann, Manolios, Moore. You can order it from here. Please note that the book was written for at least upper level undergraduate students, so expect parts of the book to be hard. Nevertheless, this is the standard reference for ACL2 and contains many exercises whose solutions are available online. Use it as a reference and use it to supplement lectures.

Software

We will be using the ACL2s system. Please download it and install it on your machines. It is also installed in the CCIS computer labs, but there are some instructions you should follow to use that installation properly.

Academic Integrity

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

Exams

There are 6 exams which will take place on the following days:

• Wednesday, September 21
• Wednesday, October 5
• Wednesday, October 19
• Wednesday, November 2
• Wednesday, November 16
• Thursday, December 1

Grading

• Homework (18% of your grade).
  There will be regular homework assignments. You will mostly work in groups. We will give you instructions on group sizes and composition. We recommend that you to first try to solve the problems on your own. Then meet with your teammate to go over your solutions and try to solve any unresolved problems. We will only grade a subset of the problems assigned. The final few homeworks will be part of an end-of-semester project. Your two lowest homework grades will be dropped.
• Quizzes (10% of your grade).
  Be prepared for a short quiz every day. Only a subset of the quizzes will be graded. If you are not present for a quiz, you get a 0, but your two lowest quiz grades will be dropped.
6 exams (12% each).
There will be no makeup exams, for any reason. You can drop up to 2 exams. When we assign grades, we will automatically determine which (if any) of the exams it is to your advantage to drop.
• Final exam (0-24%).
  You can drop 0-2 exams and the final exam will count for the remainder of your grade. You can also simply use the grades from your 6 exams and then you do not need to take the final exam.
• You can take 1 double-sided sheet of paper to each exam, and 2 double-sided cheat sheets of paper to the final.
• You have exactly 1 week after any assignment, quiz, or exam is returned to challenge the grade. After that, we will not change your grade.
• You are responsible for making sure that we entered the right grade on Blackboard. If you notice any data entry errors, please inform us right away.
• You must take all exams and quizzes in the section you are registered for. If you take an exam or a quiz in a different section that the one you are registered for, you will get a 0 on that exam or quiz.

Prerequisites

CS 1800 and CS 2500
If you do not have this background you should get the permission of the instructor.