Math 773: Computability Theory
(Instructor: Steffen Lempp)

This is a basic first-year graduate course in computability theory. There is requirement of knowing any logic before this course!

UNIVERSITY-REQUIRED SYLLABUS

TEXTBOOKS/LECTURE NOTES:

REFERENCE BOOKS:

HOMEWORK:

Homework will be assigned periocally.

TAKE-HOME FINAL EXAM DUE MAY 6 AT 2PM:

TBA


Prepared by Steffen Lempp (@math.wisc.edu">lemppmath.wisc.edu)