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:

   Note: Subject to change - do not buy before confirming with the course instructor

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:

 

For Instructors: