PMATH 330 Introduction to Mathematical LogicPure Mathematics (2009-2010)
A broad introduction to Mathematical Logic. The logic of sentences: truth-functions and axiomatic approaches (eg. Natural Deduction and Gentzen sequences). A brief introduction to the logic of predicates and to the foundations of mathematics.
Prerequisites: (MATH 225/126 and CS 126/124/114) or MATH 235 or 245; Not open to Computer Science students.
Antirequisites: CS 245
Notes: PMATH 432 may be substituted for PMATH 330 whenever the latter is a requirement in an Honours plan. Offered: F,W,S
Sections For Fall 2009
| Lectures | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| Csima, Barbara | 02:30-03:20 M T W Th F | 49/60 | 1 | 1 | MC 4060 | 4847 | ||
Sections For Spring 2009
| Lectures | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| Hoffman, Peter | 12:30-01:20 M T W Th F | 63/66 | 1 | 1 | MC 4063 | 3110 | ||