Grades will be determined by three elements.

- Weekly homework, which will be checked in class, 10%
- Weekly quizzes, 45%
- Two small projects, 20%
- One exam on Tuesday, 14 Dec 2010, 25%

Homework will be due each **Tuesday** in
class.

There will be thirteen homework assignments. You must do at least ten of them. We will correct the homework collaboratively in class each Tuesday, so late homework will not count.

You are allowed to cooperate on homework. However, if you discuss a week's homework with persons X and Y, then write ''Discussed with X and Y.'' at the top of what you hand in. If the homework is joint work with X and Y, then write that at the top of the homework. In this case, they should also list you on theirs, so be sure that you are all clear about what is your joint work.

- You should attempt every problem.
- If you cannot solve a problem, just say so. If you can do part of the problem but get stuck somewhere, say so and submit what you can do. That is, do not write something that you know to be inadequate and submit it hoping to get lucky. Not knowing the answer and realizing it is much better than being wrong and not realizing it. Think about it.
- Your actual submission should be readable and professional. Don't show your false starts and scratch work. Typeset it if your handwriting is really bad.
- But don't be verbose. Know what needs to be said, say it, and get on with your life.

Quizzes will occur each **Thursday** during
the class.

There will be twelve quizzes. The best ten will contribute to your grade.

Each quiz will be closely related to that week's homework. If you understand how to solve the homework problems, you should do well on the quiz.

There will be no makeups.

If (1) you are ill when a quiz is given, (2) and you can
document this, and (3) you warn me of this **before** the
quiz is given: then when you are feeling better we can meet for
an oral quiz on the material.

Each student will do two small projects during the term. A project can consist of

- Applying course material to a small CS verification task
- Providing semantics to a fragment of a programming language
- Studying and summarizing a related theorem or group of results
- Implementing a program to do derivations, rewrite terms, or transform proofs

Each project will lead to a small write-up and a 20 minute class presentation.

Projects can be shared between a pair of students, if more ambitious.

There will be an exam on Tuesday, 14 Dec.

The last homework will be due on Tuesday the 7th, since Tuesday the next week will be for the exam.

guttman at wpi dot edu