Introduction to Mathematical Reasoning

Catalog description

This is a course in the principles of mathematical reasoning and the construction of proofs. It begins with the growth of functions, Big-O notation, and symbolic logic and then studies direct and indirect methods and proof by induction. Examples from set theory, discrete structures, axiomatic systems, recursion, and basic algebraic structures (groups, rings, fields) are used to illustrate the methods.