MAT 224 - Mathematical Reasoning and Proof

An introduction to formal mathematical reasoning and proof. Topics include methods of set theory, symbolic logic, combinatorics, relations and functions. Prerequisite: A grade of C- or better in MAT 121 or MAT 135. Fulfills LASR. (3 cr. hr.)
Frequency code A = offered every semester

Student Learning Outcomes
Upon successful completion of this course, students will be able to:

1. Analyze formal mathematical arguments.
2. Select and employ appropriate proof techniques to prove mathematical statements.
3. Apply formal logic to negate statements and find contrapositions.
4. Apply formal definitions to determine the truth of mathematical statements.