MATH304 — Tools of Mathematical Reasoning
Techniques of proof reading and writing; review of discrete mathematics; computer representation of numbers; induction; automata and grammars; computational complexity; formal logic; sets and transfinite cardinalities; construction of the familiar number systems. A transition to upper-level courses, with emphasis on reasoning and proof.