Logic in Computer Science

Instructor: Michael Winter, Office J323, Office Hours: Mon & Fri, 9:00am-11:00am, email:

Course Overview
Course Outline
Course Procedure
  • Lecture: Tue & Thu, 2:00pm-3:30pm, Room: MCJ 209, Winter 2018
  • Lab: Wed, 2:00pm-4:00pm, Room: MCD 205, Winter 2018
Lecture Notes
Important Dates
Supplemental Material

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

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

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

Final exam (oral, 45 min): Wednesday, April 11, 2018, 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, 2018