Computability and Unsolvability

Computability and Unsolvability pdf epub mobi txt 电子书 下载 2025

出版者:Dover Publications
作者:Martin Davis
出品人:
页数:288
译者:
出版时间:1985-12-01
价格:USD 14.95
装帧:Paperback
isbn号码:9780486614717
丛书系列:
图书标签:
  • 计算理论 
  • 计算机科学 
  • CS 
  • 经典 
  • 数学 
  • 递归论 
  • 计算机 
  • 计算 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

讲的非常好,至少前后不矛盾,认真看能看懂。图灵机和godel数的转化。

评分

作者是希尔伯特第十问题的解决者,作为递归论的深入,该作品堪称神作

评分

讲的非常好,至少前后不矛盾,认真看能看懂。图灵机和godel数的转化。

评分

讲的非常好,至少前后不矛盾,认真看能看懂。图灵机和godel数的转化。

评分

作者是希尔伯特第十问题的解决者,作为递归论的深入,该作品堪称神作

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有