everything.study
MATH 1272

Logic, Set Theory, and Proofs

0.5 credits · Undergraduate

Winter 2026

Topics

  • Introduction and basic set theory
  • Logical connectives, truth tables, and quantifiers
  • Direct proofs and proofs by contrapositive
  • Test # 1 on
  • Existence proofs and proofs by contradiction
  • Mathematical induction
  • More on induction
  • Test # 2 on
  • Relations
  • Functions
  • Cardinality
  • Test # 3 on
  • More on set theory
  • More on set theory and examples

Readings

  • Bloch, Ethan D. Proofs and fundamentals. A first course in abstract mathematics. Second edition. Undergraduate Texts in Mathematics. Springer, New York, 2011. xxiv+360 pp. ISBN: 978-1-4419-7126-5
  • Gerstein, Larry J. Introduction to mathematical structures and proofs. Second edition. Undergraduate Texts in Mathematics. Springer, New York, 2012. xiv+401 pp. ISBN: 978-1-4614-4264-6
Winter 2018

Topics

  • Introduction and basic set theory
  • Logical connectives, truth tables, and quantifiers
  • Direct proofs and proofs by contrapositive
  • Test # 1 on
  • Existence proofs and proofs by contradiction
  • Mathematical induction
  • More on induction
  • Test # 2 on
  • Relations
  • Functions
  • Cardinality
  • Test # 3 on
  • More on set theory
  • More on set theory and examples

Readings

  • Mathematical Proofs, a Transition to Advanced Mathematics, G. Chartrand, A. Polimeni, and P. Zhang, 4th edition, Pearson Education, Boston.
Winter 2017

Topics

  • Introduction and basic set theory
  • Logical connectives, truth tables, and quantifiers
  • Direct proofs and proofs by contrapositive
  • Test # 1 on
  • Existence proofs and proofs by contradiction
  • Mathematical induction
  • More on induction
  • Test # 2 on
  • Relations
  • Functions
  • Cardinality
  • Test # 3 on
  • More on set theory
  • More on set theory and examples

Readings

  • Mathematical Proofs, a Transition to Advanced Mathematics, G. Chartrand, A. Polimeni, and P. Zhang, 3rd edition, Pearson Education, Boston.
Sources