Catalog : MATH.2190 Discrete Structures I (Formerly 92.321 and MATH.3210) Home Academic Catalog. Academic Catalog. Undergraduate Programs & Policies; ... Presents propositional logic, combinatorics, ...

Topics include propositional logic, boolean algebras and rings, first-order logic and systems of deduction. Time permitting, we will touch on Tarski's notion of model, and the completeness and ...