COSC 5P02
Logic in Computer Science

Instructor: Michael Winter, Office J323, Office Hours: Mon & Thu, 11:00am - 01:00pm, email: mwinter@brocku.ca



Course Overview
Software
Lectures
Course Outline
Course Procedure
  • Lecture: Mon & Wed, 04:30pm-06:00pm, Fall 2023, TH243
  • Lab: Thu, 03:00pm-05:00pm, D205
Lecture Notes
Important Dates
Supplemental Material
Lab Test 1 September 28 03:00pm-05:00pm, in lab
Lab Test 2 October 26 03:00pm-05:00pm, in lab
Lab Test 3 November 16 03:00pm-05:00pm, in lab
Final Exam December 06/07 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, 2023