Course Code PMATH 330
Course Title Introduction to Mathematical Logic
Online Offers
  • Winter 2022 (tentative) (Instructor: TBA)
  • Fall 2021 (tentative) (Instructor: Barbara Csima)
Course Location Online
Credit Weight 0.5
Course Description

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)
Requisites
  • Prerequisite: (MATH 135 or 145) and (MATH 225 or 235 or 245); Not open to Computer Science students.
  • Antirequisite: CS 245, SE 212.
Materials Software:
Some course components are not supported in Microsoft Edge.
System Requirements
  • A computer with Internet access is required for all online and multimodal courses. Please see the System Requirements.
Taught in English
How to Register:
Waterloo Students
Enrol In, Drop, and Swap Classes Online
How to Register:
Non-Waterloo Students
How to Apply - Prospective Students
Fees Tuition Fees, Financial Aid, Scholarships, and Awards

  1. 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.
  2. 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.
  3. Library Requirements: Please see the online library access and Waterloo ID card information.
  4. For a list of any required textbooks and other materials to be purchased, go to the Waterloo BookStore.