Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science, the University of Chicago
The first part consists of an introduction to the theory of computation and recursive function theory, including definitions of computable functions, Turing machines, partial recursive functions, recursively enumerable sets, the Kleene recursion theorem etc. The second part is a comprehensive study of recursively enumerable sets and their degrees.
發表於2024-12-25
Recursively Enumerable Sets and Degrees 2024 pdf epub mobi 電子書 下載
圖書標籤: 邏輯 數學 計算復雜性 Math
隻看瞭有窮損害一章 無窮損害優先方法剛好到經典遞歸論經典density theorem之前。理論上該章以前都能自己看,但這書比起cooper那本實在是太難太耗時瞭
評分RE degree theory 不得不看啊
評分RE degree theory 不得不看啊
評分隻看瞭有窮損害一章 無窮損害優先方法剛好到經典遞歸論經典density theorem之前。理論上該章以前都能自己看,但這書比起cooper那本實在是太難太耗時瞭
評分RE degree theory 不得不看啊
Recursively Enumerable Sets and Degrees 2024 pdf epub mobi 電子書 下載