COSC 5P02 Course Outline

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

Calendar description

A thorough introduction to mathematical logic, covering the following topics: propositional and first-order logic; soundness, completeness, and compactness of first-order logic; first-order theories; undecidability and Gödel's incompleteness theorem; and an introduction to other logics such as intuitionistic and modal logics. Furthermore, the course stresses the application of logic to various areas of computer science such as computability, programming languages, program specification and verification.

Course Outline

Week	Date	Topics
1	Sep 06/11	Introduction, Propositional Logic (no lab this week)
2	Sep 13/18	Propositional Logic, Natural Deduction
3	Sep 20/25	Natural Deduction, Normal forms
4	Sep 27/Oct 02	First Order Logic, (Test 1)
5*	Oct 04/16	First Order Logic, Natural Deduction
6	Oct 18/23	Natural Deduction, Intuitionistic Logic
7	Oct 25/30	Decidability, Gödel's results, (Test 2)
8	Nov 01/06	Modal Logic
9	Nov 08/13	Modal Logic
10	Nov 15/20	Modal Logic, decidability, (Test 3)
11	Nov 22/27	Dynamic Logic
12	Nov 29/Dec 04	Program verification, review (no lab this week)

* October 09-13 is Reading Week, no classes.

Texts

• 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