Logic and Computation at University of Waterloo

CS 245 / Fall 2012

  • Instructors:

  • Lectures: 
      LEC 001   08:30-09:50TTh   MC 2054   Toman,David
  LEC 002   11:30-12:50TTh   MC 2054   Ivkovic,Igor
  LEC 003   01:00-02:20TTh   MC 2054   Toman,David
  LEC 004   02:30-03:50TTh   OPT 309   Bonakdarpour,Borzoo
  • Tutorials (in temporal order): 
      TUT 103, 11:30-12:20F, MC 4042, Ruth Urner (rurner@cs)
  TUT 104, 03:30-04:20F, MC 4042, Shawn Eastwood (sceastwo@cs)
  TUT 105, 04:30-05:20F, MC 4042, Shawn Eastwood
  TUT 106, 02:30-03:20M, OPT 309, Shawn Eastwood
  TUT 101, 03:30-04:20M, MC 4042, Hamoon Mousavi (sh2mousa@cs)
  TUT 102, 04:30-05:20M, MC 4042, Hamoon Mousavi
  • IA Office Hours:
  • Hamoon Mousavi in MC4065 Fri 12:30-1:30pm
  • Daniel Goc in MC4065 Fri 2:30-3:30pm

  • Class Info: http://www.student.cs.uwaterloo.ca/~cs245/
  • Discussion Forums: on the Piazza web site.
  • Additional TA/IA office hours: see assignments/exams section below.

    • Class Info:

  • Course Syllabus
  • Lecture Schedule and Handouts
  • Lecture Slides for Section 002
  • Lecture Slides for Section 004

    • Assignments:

  • Assignment 1 due Wed Oct 3 at 23:55

  • Assignment 2 due Wed Oct 17 at 23:55

  • Assignment 3 due Wed November 7 at 23:55

  • Assignment 4 due Mon November 19 at 23:55

  • Assignment 5 due December 3 at 23:55

    • You can check your marks here.

    Unclaimed assignments and midterms will be available during the office hours on Friday Dec. 7 in MC4065. In addition IAs will also be available on Monday Dec. 10th, at 9 - 10 am in MC2035 to return any unclaimed assignments and midterms.

    Exams:

  • Midterm: November 1, 2012 4:30-6:20
    The midterm is an open book exam.
    Seat assignment (available during the week of the exam-you MUST check where you write the exam).
    Office hours for Midterm Exam:
  • Daniel Goc in MC4065 Fri (11/26) 1:30-3:30pm

  • Final: December 10, 2012 12:30 - 3:00 pm in PAC 7,8,11,12
    The final is an open book exam.
    Seat assignment (you MUST check where you write the exam).
    Office hours for Final Exam: IAs will be holding extra office hours (Q & A sessions) on Tuesday Dec. 4, Wednesday Dec. 5 and Thursday Dec. 6 , at 2:00 - 3:00 pm in MC 2035.