MAT 200

Title: Logic, Language and Proof

Description: A basic course in the logic of mathematics, the construction of proofs and the writing of proofs. The mathematical content is primarily set theory, combinatorics and Euclidean geometry. There is considerable focus on writing.

Prerequisite: Level 4 on the mathematics placement examination or equivalent course or permission of the instructor


Credits: 3


  • An Introduction to Mathematical Reasoning, by Peter Eccles

Major Topics Covered: 

  • Propositional Logic
  • Logic Connectives and Truth Tables
  • Proofs
  • Proofs by Contradiction
  • Mathematical Induction
  • Set Theory and Operations with Sets
  • Quantifiers
  • Proofs Involving Quantifiers
  • Functions, Injections, Surjections, and Bijections
  • Pigeonhole Principle
  • Counting Finite Sets and Basic Combinatorics
  • Infinite Sets, Countable and Uncountabel Sets
  • Equivalence Relations

Undergraduate Bulletin Course Information

Course Webpages: