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.