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, 2019, schedule tba

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