Logic in Computer Science

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

Course Overview
Course Outline
Course Procedure
  • Tue & Fri, 11:00am-12:30pm, Fall 2016
  • Room: MCJ 404
Lecture Notes
Important Dates
Supplemental Material

Term Test 1 (30 min): October 04, 2016 (in class)

Term Test 2 (30 min): November 01, 2016 (in class)

Term Test 3 (30 min): November 22, 2016 (in clas)

Final exam (oral, 45 min): Thursday, December 08, 2015, 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, 2016