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.