|
Sep 07, 2024
|
|
|
|
MATH 301 - Mathematical Logic Credit(s): 3 Lecture: 3 Non-Lecture: 0 The goal of the course will be to present the important concepts and theorems of mathematical logic and to explain their significance to mathematics. Specific results will include compactness, completeness and incompleteness theorems, with applications including switching circuits and nonstandard analysis. Offered fall, odd years.
Prerequisite(s): MATH 239 .
Add to Favorites (opens a new window)
|
|