Office of the Registrar

Course Descriptions

To view course descriptions for all courses in a single subject:

  1. Select the subject from the drop-down list
  2. Click Get Descriptions

Searching course descriptions by keyword is currently unavailable.

Course: -


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.