Home

This is the homepage for CS 245 at the University of Waterloo (Winter 2012).

News:

• The midterm exam is scheduled for: Thursday, Feb. 16, 4:30-6:20 pm, HH 1101.
  

  • There will be assigned seating in the midterm.
    You can look up your seat here: Seating.
  • Here are some exercises to help you improve your propositional logic
    natural deduction and semantic tableaux proving skills: Exercises.

• Sample solutions for Assignments 1-4 are available from the Assignments web page
• Assignment 5 is available from the Assignments web page
• If you have questions about the material you can ask me before or after class.
  But that doesn't always allow enough time. Here are some other ways to get help:
  • during the tutorials on Monday afternoons
  • during my office hours Mondays and Wednesday, 9:30-10:30am
  • send me email and ask a question
  • drop by my office
  • send me email and arrange a time to meet