Logic in Computer Science

Instructor: Michael Winter, Office J323, Office Hours: Mon & Thu, 10:00am - noon, email:

Course Overview
Course Outline
Course Procedure
  • Lecture: Mon & Wed, 3:30pm-5:00pm, Room: WH305 TH306, Winter 2019
  • Lab: Thu, 2:00pm-4:00pm, Room: MCJ 310, Winter 2019
Lecture Notes
Important Dates
Supplemental Material

Term Test 1 (30 min): January 31, 2019 (in lab)

Term Test 2 (30 min): February 28, 2019 (in lab)

Term Test 3 (30 min): March 21, 2019 (in lab)

Final exam (oral, 45 min): Wednesday, April 10, and Thursday, April 11, 2019, Schedule

All Computer Science courses are subject to the rules and regulations of the University (as described in the calendar), the Faculty of Mathematics & Sciences and the policies of the Department of Computer Science.

COSC Home Page

© M. Winter, 2019