Course Descriptions
To view course descriptions for all courses in a single subject:
- Select the subject from the drop-down list
- Click Get Descriptions
Searching course descriptions by keyword is currently unavailable.
MATHEMATICS
MATH-505
Mathematical Logic (3)
Course Level: Undergraduate/Graduate
The mathematical study of the scope and limits of deductive reasoning with special attention to propositional and first order logic, leading to results concerning completeness, compactness, and the existence of decision procedures for various logical systems, culminating in the incompleteness theorems of Godel. Usually offered alternate falls (even years). Prerequisite: MATH-503 or permission of instructor.
Events
(rss)| Coming Soon | Date |
|---|---|
| Waterworks | 05/26/13 |
| Spring 2013 Exhibitions: Lee Haner, Painting Borges, and Saturation Point | 05/26/13 |
| Spring 2013 Exhibitions: Timothy App | 05/26/13 |
