Prereqs:
Courses Majors
Loading prerequisite graph...
Prereqs:
Courses Majors

MATH 223C

Bruinwalk
Main Course

Topics in Computability Theory

4 units
Taken?

Description

Lecture, three hours. Requisites: courses 220A, 220B. Degrees of unsolvability, recursively enumerable sets, undecidable theories; inductive definitions, admissible sets and ordinals; recursion in higher types; recursion and complexity. Topics vary from year to year. May be repeated for credit with consent of instructor. S/U or letter grading.

Prerequisites

  • Required:
    Taken?
  • Required:
    Taken?

Click on any course to view its details