遞歸可枚舉集和圖靈度

遞歸可枚舉集和圖靈度 pdf epub mobi txt 電子書 下載2025

出版者:科學
作者:索爾
出品人:
頁數:437
译者:
出版時間:2007-1
價格:78.00元
裝幀:
isbn號碼:9787030182951
叢書系列:國外數學名著係列
圖書標籤:
  • 數學 
  • 遞歸論 
  • 數理邏輯 
  • 計算復雜性 
  • 邏輯 
  • 計算機科學 
  • Computability 
  • 邏輯學 
  •  
想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

《遞歸可枚集閤和圖靈度:可計算函數與可計算生成集研究(影印版)》主要內容包括: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. 小哈圖書下載中心 版权所有