2022-2023 Graduate Catalog ARCHIVED CATALOG: CONTENT MAY NOT BE CURRENT. USE THE DROP DOWN ABOVE TO ACCESS THE CURRENT CATALOG.
|
MAT 652 - Foundations of Mathematics II
Credits 3
Formalization, proofs, and models of quantificational logic; axiomatics; application to mathematical theories, including set theory.
Notes
This course is crosslisted with MAT 452. Credit at the 600-level requires additional work.
The 600-level MAT and STA courses that are normally available for graduate credit are those numbered 650 or higher; the exceptions are MAT 680, which may be counted for graduate credit in an education degree program, and STA 691, STA 693, and STA 695, which may be counted for graduate credit in a biological sciences program.
|