COSC 5P02 Course Outline

	COSC 5P02 Course Outline

Instructor: Michael Winter, Office J323, Office Hours: Mon & Wed, 01:00pm-03: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 Jan 05/07 Introduction, Propositional Logic (no lab this week)

2 Jan 12/14 Propositional Logic, Natural Deduction

3 Jan 19/21 Natural Deduction, Normal forms

4 Jan 26/28 First Order Logic, (Test 1)

5 Feb 02/04 First Order Logic, Natural Deduction

6 Feb 09/11 Natural Deduction, Intuitionistic Logic

7^* Feb 23/25 Decidability, Gödel's results, (Test 2)

8 Mar 02/04 Modal Logic

9 Mar 09/11 Modal Logic

10 Mar 16/18 Modal Logic, decidability, (Test 3)

11 Mar 23/25 Dynamic Logic

12 Mar 30/Apr 01 Program verification, review (no lab this week)

^* Feb 16-20 is Reading Week.

Texts

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

Week	Date	Topics
1	Jan 05/07	Introduction, Propositional Logic (no lab this week)
2	Jan 12/14	Propositional Logic, Natural Deduction
3	Jan 19/21	Natural Deduction, Normal forms
4	Jan 26/28	First Order Logic, (Test 1)
5	Feb 02/04	First Order Logic, Natural Deduction
6	Feb 09/11	Natural Deduction, Intuitionistic Logic
7^*	Feb 23/25	Decidability, Gödel's results, (Test 2)
8	Mar 02/04	Modal Logic
9	Mar 09/11	Modal Logic
10	Mar 16/18	Modal Logic, decidability, (Test 3)
11	Mar 23/25	Dynamic Logic
12	Mar 30/Apr 01	Program verification, review (no lab this week)