Math 132

Mathematical Logic

 Elementary logic, predicates and quantifiers, methods of proof, mathematical induction, sets and set operations, relations, basic definitions and properties, representing relations, equivalence relations,partial orderings, functions, cardinality of sets.