MATH 235 - Introduction to Formal Methods

Credits: 4

Prerequisite: MATH 110. 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.

SC