1440233

Course Description

Logic, propositional logic, truth tables, propositional formulas, logical implication and equivalence, tautologies and contradictions, quantifiers. Methods of proof. Sets, applications of sets, Venn diagrams, Cartesian product, the power set. Cardinality. Mathematical Induction. Relations and partitions, functions. Zorn's Lemma and Axiom of Choice. Prerequisite: 1440131.

Course Details