(Reprint of the 1967 edition)
發表於2025-01-10
Theory of Recursive Functions and Effective Computability 2025 pdf epub mobi 電子書 下載
首先,這是本好書。Coverage很大,從classical theory到higher theory(雖然隻有一點點higher theory,隻講瞭analytical hierarchy 和hyperdegrees,並沒有talk about metarecursion) chapter 1-5,基礎遞歸論,從halting set K講起,講到recursive enumeration,估計目的是...
評分首先,這是本好書。Coverage很大,從classical theory到higher theory(雖然隻有一點點higher theory,隻講瞭analytical hierarchy 和hyperdegrees,並沒有talk about metarecursion) chapter 1-5,基礎遞歸論,從halting set K講起,講到recursive enumeration,估計目的是...
評分首先,這是本好書。Coverage很大,從classical theory到higher theory(雖然隻有一點點higher theory,隻講瞭analytical hierarchy 和hyperdegrees,並沒有talk about metarecursion) chapter 1-5,基礎遞歸論,從halting set K講起,講到recursive enumeration,估計目的是...
評分首先,這是本好書。Coverage很大,從classical theory到higher theory(雖然隻有一點點higher theory,隻講瞭analytical hierarchy 和hyperdegrees,並沒有talk about metarecursion) chapter 1-5,基礎遞歸論,從halting set K講起,講到recursive enumeration,估計目的是...
評分首先,這是本好書。Coverage很大,從classical theory到higher theory(雖然隻有一點點higher theory,隻講瞭analytical hierarchy 和hyperdegrees,並沒有talk about metarecursion) chapter 1-5,基礎遞歸論,從halting set K講起,講到recursive enumeration,估計目的是...
圖書標籤: 數理邏輯 數學 計算機科學 計算機 理論計算機 recursive nemlophics TCS
隻學到無窮損害
評分隻學到無窮損害
評分隻學到無窮損害
評分隻學到無窮損害
評分隻學到無窮損害
Theory of Recursive Functions and Effective Computability 2025 pdf epub mobi 電子書 下載