2022-2023 Catalog 
    
    Mar 29, 2024  
2022-2023 Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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



Add to Portfolio (opens a new window)