#### MAT-299T.10 *Introduction to Proof: Number Theory*
1
credit

Methods of mathematical proof will be introduced using concepts from number theory. Topics may include: axioms for the integers, Euclidean algorithm, Diophantine equations, Fermat's Little Theorem, unique factorization, and primality testing.

#### MAT-299T.15 *Introduction to Proof: Combinatorics*
1
credit

Methods of mathematical proof will be introduced using concepts from combinatorics. Topics may include: permutations and combinations, finite mathematical structures, inclusion-exclusion principle and elements of the theory of graphs.

#### MAT-299T.20 *Introduction to Proof: Sets and Functions*
1
credit

Methods of mathematical proof will be introduced using concepts from sets and functions. Topics may include: the basics of set theory including equivalence relations, cardinality (including the notions of countability and uncountability), and topics covering surjective, injective, bijective, and inverse functions.

#### MAT-299T.25 *Introduction to Proof: Logic*
1
credit

Methods of mathematical proof will be introduced using concepts from symbolic logic. Topics may include: an introduction to logical implication, quantifiers, contrapositive, and logical equivalence.