Comp 280 Homework Guidelines

General Format

• Write your name and ID number on the first page of each assignment.
• Staple all pages together before coming to class. There is no stapler in the classroom.
• You may either hand-write or computer-format your assignments. If your handwriting is poor, please type up your assignments. If you type them up, use a formatting package with good support for mathematical symbols (such as LaTeX).
• Make sure your solutions are readable. Clearly mark which question each solution corresponds to, and don't turn in scratch work. The graders will not grade illegible or poorly labeled work.

Specific Instructions for Proofs

• Use complete, grammatically correct English sentences.
• Use spacing and indentation to reflect the structure of your proofs.
• Justify your reasoning. Your proof should convey your line of thought to the grader.

Specific Instructions for Programs

• Unless otherwise noted on an assignment, you do not need to type in and run your programs.
• Include 210-style contracts and purpose statements with all programs. Test cases will not be required unless the primary purpose of a question is to develop (rather than reason about) a program; assignments will indicate explicitly if test cases are required. You may nonetheless find it helpful to consider test cases while developing proofs.
• Indent your programs properly.
• A note of caution: clever programs are usually harder to reason about than straightforward, structurally-recursive programs. Unless an assignment specifies otherwise, we strongly suggest that you write basic 210-style programs.