Catalog

MATH 235 - Introduction to Formal Methods (4)

Topics include logic and mathematical proof; set theory, equivalence relations, and mappings; mathematical induction; modular arithmetic; isomorphism; groups; structures of real numbers; convergence and continuity. Emphasis on concepts of proof and mathematical formalism. Offered every Spring. Prerequisite: MATH - 110.