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

Prerequisite

MATH 32500

© 2012 • Lewis University Main Campus, Romeoville, IL • (815) 838-0500 • • •
Lewis University is authorized to operate as a postsecondary educational institution by the Illinois Board of Higher Education .