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 to develop and communicate 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); mathmatical induction; disproof by counterexample.

**Credit hours:** 3.0

Last updated:
05/28/2019