Oct 28, 2020  
2018-2019 Undergraduate Bulletin 
2018-2019 Undergraduate Bulletin [ARCHIVED CATALOG]

MAT 2110 - Techniques of Proof (4)

When Offered: Fall; Spring
A study of methods of proof used in mathematics. Formal proof topics include propositional calculus, predicate calculus, and several first order theories. Informal proof topics are drawn from number theory, set theory, and other areas of mathematics. Additional topics include introductions to writing mathematics, searching for mathematical content and sources, and careers in mathematics. 
Prerequisite: MAT 1120  or permission of the instructor.