Tuesday, Friday 1:35PM-3:15PM, Snell Library 009
Instructor: Pete Manolios
Office hours: Fridays 3:30-4:30PM in WVH 346, and by request
BooksThere are two required textbooks. They are
- Computer Aided Reasoning. Kaufmann, Manolios, Moore. Order it from here.
- Fundamentals of Mathematical Logic. Peter G. Hinman.
We will be using the ACL2s system. Please download it and install it on your machines.
Academic IntegrityRead and intimately familiarize yourselves with the Northeastern Academic Integrity policy.
- Homework (30% of your grade).
- Exams (40% of your grade).
- Grading (10% of your grade).
- Project (20% of your grade).
- Various homework problems will be given, at the approximate
rate of one assignment per every two weeks. Late homeworks will
not be accepted.
- Each problem will be graded in a timely fasion by a class
member, who is also responsible for handing out solutions. I
will review the grading and the solutions you prepare and will
assign a grade based on both the quality and timeliness of your
work. If you grade an assignment, you do not have to do it and
automatically get an A on it, but I expect you to fully
understand it and the solutions you distribute.
Part of the reason I am asking you to do this is that I expect you will learn a great deal in the process, e.g., students often choose to grade homeworks that are giving them difficulty. In this way, the impact on their grade is minimized and they get a chance to really learn the material.
- You are expected to do the homework assignments on your own
without consulting other students or sources other than those
used in class, unless I state otherwise. You can talk to one
another about high-level ideas and you can consult sources
such as the Web about high-level ideas, but any significant
insights into assignments gained from any source should be
The reason I give you homework is to help you understand the material and yourself. Sometimes things that seemed obvious in class turn out to be more subtle than you expected. Homework gives you the opportunity to show, yourself primarily and me secondarily, that you understand the concepts and their implications. Sometimes I also ask that you read and develop some of the concepts on your own. The material we covered in class should act as the foundation that makes this possible.
I will also give you opportunities to work in teams. Some of the homeworks and the project will allow you to work with other students. I encourage you, but do not require you, to do this.
- There will be two exams. I will give you the exams after class and you will have
until the next day at 5PM to return them to me. I will try to
give you exams that take about 2 hours to complete. This assumes
that you prepared well for them and have internalized all the
main concepts. Please do not expect to learn what you need while
taking the exam; past experience indicates that this is a bad
idea. The reason I am giving you about a day to complete the exam
is that I do not want you to stess over time constraints. (I feel
compelled to say that as a graduate student I found taking tough
exams under time constraints a useful experience.)
Here are the rules for the take-home exams. I trust you to abide by them. Do not consult outside sources when working on exams. You can use the class textbooks and handouts that I gave you, but you cannot use any other source without explicit permission from me. A corollary is that there should be absolutely no discussion about any of the exam questions, with anyone other than me.
- The projects can be group projects and can consists of 1,
2, or 3 people. They have to be cleared by me. During class, I
will toss out project ideas, but feel free to suggest projects
based on your interests. If you are using this class to fulfill
a breadth requirement, then your project should be in the same
Projects will be presented during class. In addition, a single project report is required. Finally, every member of the team will evaluate the contributions of the other team members. Your project grades will be based on the above.
Collaboration on projects is allowed and encouraged.
- You are expected to do the reading before class.
In class you have an opportunity to test your understanding, so things work best if you come to class prepared. We can then focus on the interesting issues, rather than on covering material that you could just as easily find in the book.