MATH 301 - Mathematical Logic

2020-2021 Catalog Year

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.

Prerequisite(s): MATH 239.
Offered: Fall, odd years