Logic in Computer Science (hybrid)

Instructor: Michael Winter, Office J323, Office Hours: contact by email, email:

Course Overview
Course Outline
Course Procedure
  • Lecture: Wed & Fri, 8:00am-9:30am, HyFlex classroom (TH 257)/online
  • Lab: Mon, 1:00pm-3:00pm, D205/online
Lecture Notes
Important Dates
Supplemental Material
Lab Test 1 September 27 1:00pm - 2:30pm, in lab/online
Lab Test 2 October 25 1:00pm - 2:30pm, in lab/online
Lab Test 3 November 15 1:00pm - 2:30pm, in lab/online
Final Exam December 08/09 oral exam, 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, 2021