5 - 计算理论前沿 -- Advanced Topics in Computability Theory

Recursion theorem + logical theories + Turing reducibility + descriptive complexity

Source:
CoCo lecture, UCPH, DIKU, 2021;
Introduction to the theory of computation, Michael Sipser, 3rd edition



posted @ 2021-03-08 09:40  romaLzhih  阅读(111)  评论(0)  编辑  收藏  举报