Math 773: Computability Theory
(Instructor: Steffen Lempp)

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

MAKEUP CLASSES:

To make up for the missed class on February 29, I will post a video.

VIRTUAL OFFICE HOURS:

Office hours: Tuesdays and Thursdays, 12noon-1p.m. by Google meet
(Email me (@math.wisc.edu">lemppmath.wisc.edu) to request a google meeting, or to arrange another time for one.
You will need only a browser open, with microphone and speaker enabled, and possibly a camera, and I will send you a code to log in.
No in-person meetings until further notice!)

UNIVERSITY-REQUIRED SYLLABUS

TEXTBOOKS/LECTURE NOTES:

(Many of these are copyrighted and so password-restricted in Canvas.)

REFERENCE BOOKS:

HOMEWORK:

Homework will be assigned periocally.

TAKE-HOME FINAL EXAM DUE MAY 10 AT 5PM:


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