MHF 3302 Logic and Proof in Mathematics

Semester(s) Offered:
  • Fall
  • Spring
Prerequisite(s): MAC 2311. CR: MAC 2312.
Textbook(s):
G. Chartrand, A. Polimeni, P. Zhang, Mathematical Proofs, second edition.

Description: Basic mathematical logic. Methods of proof in mathematics. Application of proofs to elementary mathematical structures.