Theory of Recursive Functions and Effective Computability pdf epub mobi txt 電子書 下載2025
- 數理邏輯
- 數學
- 計算機科學
- 計算機
- 理論計算機
- recursive
- nemlophics
- TCS
- 遞歸函數論
- 可計算性理論
- 圖靈機
- 形式語言
- 數理邏輯
- 計算理論
- 算法
- 可判定性
- lambda演算
- Church-Turing論題
具體描述
(Reprint of the 1967 edition)
作者簡介
目錄資訊
讀後感
首先，這是本好書。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，估計目的是...
用戶評價
隻學到無窮損害
评分隻學到無窮損害
评分隻學到無窮損害
评分隻學到無窮損害
评分隻學到無窮損害
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有