《遞歸可枚集閤和圖靈度:可計算函數與可計算生成集研究(影印版)》主要內容包括:An Informal DescriptionFormal Definitions of Computable FunctionsPrimitive Recursive Functions.Diagonalization and Partial Recursive FunctionsTuring Computable FunctionsThe Basic ResultsRecursive Permutations and Myhill's Isomorphism TheoremFundamentals of Recursively Enumerable Sets and the Recursion Theorem。
評分
評分
評分
評分
不錯
评分不錯
评分太難瞭,代數幾何的難和數理邏輯的難果然不同啊
评分高德納說現代的數學有很多是計算機科學用不上的。 但數理邏輯是必須要搞懂的
评分不錯
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有