Centre for Extended Learning(CEL)
East Campus 3 (EC3)
195 Columbia St. W.
|Course Code||PMATH 330|
|Course Title||Introduction to Mathematical Logic|
A broad introduction to mathematical logic. The notions of logical consequence and derivation are introduced in the settings of propositional and first order logic, with discussions of the completeness theorem and satisfiability. [Note: PMATH 432 may be substituted for PMATH 330 whenever the latter is a requirement in an Honours plan.]
Typical terms may not reflect online offerings.
|Course Work and Exam||Spring 2021 course outline (note 2)|
Some course components are not supported in Microsoft Edge.
How to Register:
|Enrol In, Drop, and Swap Classes Online|
How to Register:
|How to Apply - Prospective Students|
|Fees||Tuition Fees, Financial Aid, Scholarships, and Awards|
- The Undergraduate Calendar and the Graduate Calendar are the official source for information about course details. Quest is the official source for Undergraduate and Graduate Schedule of Classes information. The offerings indicated on this site are unofficial and subject to change daily. The course instructor will provide the official course requirements and expectations at the start of term.
- If available, the example of a recent course outline is provided for general information only. It gives an overview of the course from a recent offering but it is not the course outline for the current offer and is subject to change. If you are currently taking this course, the official course outline that applies to this offer is in your online course.
- Library Requirements: Please see the online library access and Waterloo ID card information.
- For a list of any required textbooks and other materials to be purchased, go to the Waterloo BookStore.