Foundations of Computability Theory

Introduction

This course introduces the fundamental concepts, methods, and results of computability theory. The course materials are organized into 15 lectures.

References

• Turing Computability: Theory and Applications, Robert I. Soare, Springer, 2016.
• 《递归论: 算法与随机性基础》郝兆宽，杨睿之，杨跃，复旦大学出版社，2018。