Graduate Course Descriptions

The following directory lists the graduate courses which the University expects to offer, although the University in no way guarantees that all such courses will be offered in any given academic year, and reserves the right to alter the list if conditions warrant. Click on the links below for a list of courses in that subject area. You may then click “View Classes” to see scheduled classes for individual courses.

5260. Mathematical Logic I

3.00 credits

Prerequisites: Prerequisite: MATH 5210 (RG380).

Grading Basis: Graded

Predicate calculus, completeness, compactness, Lowenheim-Skolem theorems, formal theories with applications to algebra, Godel's incompleteness theorem. Further topics chosen from: axiomatic set theory, model theory, recursion theory, computational complexity, automata theory and formal languages.

No classes found.