The course will focus on mathematical logic and the main proof techniques used in writing mathematical arguments. This will involve reading proofs to gain deep understanding, studying common mathematical logic statements and proof techniques, and developing and communicating rigorous mathematical proofs. Proofs techniques will include, but not be limited to, direct (deductive) proof; proof by exhaustion; indirect proof (by contradiction, or by contrapositive); mathematical induction; disproof by counterexample.

**Credit hours:** 3

Last updated:
05/23/2022