3.00 Credits
A course meant to serve as a bridge between computationally oriented mathematics and conceptually oriented mathematics, with emphasis placed upon understanding and constructing proofs. Topics include: symbolic logic, truth tables, logical equivalence, logical quantifiers, direct proof, proof by contrapositive, proof by contradiction, proof by cases, existence proof, mathematical induction, sets, set operations, indexed families of sets, Cartesian products, relations, functions, operations with functions, cardinality of sets.