COSC 5P02 Logic in Computer Science

	COSC 5P02 Logic in Computer Science

Instructor: Michael Winter, Office J323, Office Hours: Mon & Wed, 01:00pm-03:00pm, email: [email protected]

Course Overview

Software

Lectures

Course Outline
Course Procedure
Course syllabus (pdf)

Lecture: Mon & Wed, 04:00pm-05:30pm, Winter 2025, TH307
Lab: Thu, 12:00pm-02:00pm, MCC J301

Lecture Notes

Important Dates

Supplemental Material

Lab Test 1	January 29 February 05	12:00pm-02:00pm, in lab
Lab Test 2	February 26 March 05	12:00pm-02:00pm, in lab
Lab Test 3	March 19 March 26	12:00pm-02:00pm, in lab
Final Exam	April 02/03 tba	oral exam, schedule tba

Logic in Computer Science, 2nd edition, M. Huth & M. Ryan, Cambridge University Press (2004), ISBN 0-521-54310-X

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.

All assignments are copyright M. Winter and accessible by all. Permission to copy and/or modify is granted to COSC 5P02 students. Other educational users are also granted such permission provided acknowledgement is given and the author is notified.

COSC Home Page