COSC 5P02 Logic in Computer Science

	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

Logic in Computer Science, 2nd edition, M. Huth & M. Ryan, Cambridge University Press (2004), ISBN 0-521-54310-X
Mathematical Introduction to Logic, 2nd edition, H.B. Enderton, Academic Press (2001), ISBN 0-12-238452-0
Logic for Mathematics and Computer Science, S.N. Burris, Pearson Education (1998), ISBN 0-13-285974-2

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