COSC 5P02 Logic in Computer Science

	COSC 5P02 Logic in Computer Science

Instructor: Michael Winter, Office J323, Office Hours: Mon 10:00am - noon, Wed 02:00pm - 04:00pm, email: mwinter@brocku.ca

Course Overview

Software

Lectures

Course Outline
Course Procedure

The Coq proof assistant
Documentation and tutorials
Coq package for Natural Deduction
Coq package for Modal Logic
Coq package for the Modal Logic KT45³

Lecture: Wed & Fri, 10:30am-noon, Winter 2025, TH307
Lab: Thu, 10:00am-noon, MCC J301

Lecture Notes

Important Dates

Supplemental Material

Course material
Rules Sheet

Lab Test 1	January 30	10:00am-noon, in lab
Lab Test 2	February 27	10:00am-noon, in lab
Lab Test 3	March 20	10:00am-noon, in lab
Final Exam	April 07/08	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.

COSC Home Page