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 logic and proofs, set theory, combinatorics, functions and relations. There is considerable focus on writing. May not be taken for credit in addition to MAT 250.

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

SBC: STEM+

Credits: 3

Textbook:

  • 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: