MATH 235 - Introduction to Formal Methods

Unit(s): 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
College of Arts and Sciences