MATH-42000 Sets and Logic

This course studies sets and their properties, set operations, cardinality, ordered sets, well ordering, finite and infinite sets, and the axiom of choice. Also studied are formal deductive systems especially propositional and predicate logic, properties of deductive systems such as consistency and completeness, and Boolean algebra.

Credits

3

Prerequisite

MATH 32500