CPSC 513 Winter 2010

• The class meets MWF, 9:00-9:50 in MS 217.
• My office is in ICT 627; office hours are Monday 10:00-11:00, Thursday 9:00-10:00, or by appointment (gscruttw (at) cpsc.ucalgary.ca).
• The tutorials are W 2:00-2:50, in ST 055. There is no tutorial the first Wednesday (January 13th).
• Your final mark is given by: 35% assignments, 25% midterm, 40% final.
• The midterm was March 5th, 9:00-9:50.
  • Midterm information and sample questions.
  • Midterm questions.
  • Midterm solutions.
• The final exam is Friday, April 23rd, 12:00-3:00 in MS 217. This sheet contains what information you will be expected to know, as well as sample questions.

1. Proofs and Simple Programs (solutions).
2. More Programs, and Primitive Recursive Functions (solutions)
3. Numbering and Universal Programs (solutions)
4. Parameter Theorem, RE Sets, Reducibility, Rice-Shapiro Theorem (solutions)
5. Recursion Theorem, Strings, Turing Machines (solutions)
6. Reducibility and Oracles (solutions)