Computability 2024 pdf epub mobi 电子书

☆☆☆☆☆
简体网页||繁体网页

Computability 2024 pdf epub mobi 电子书著者简介

Computability 电子书图书目录

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-26

Computability 2024 pdf epub mobi 电子书

喜欢 Computability 电子书的读者还喜欢

Computability 电子书读后感

评分☆☆☆☆☆

上课地点：首都师范大学本部三教412室是叶老师给逻辑学的研究生开的一门课，用一本经典的教材，好好读一本书。我们这学期的计划是完全读懂哥德尔不完备性定理，所以这本书读到第八章会读斯莫林斯基对不完备性的阐述，之后我们会在回来把余下的部分学完。注：等这门课上完...

评分☆☆☆☆☆

类似图书点击查看全场最低价

出版者:Cambridge University Press

作者:Nigel Cutland

出品人:

页数:264

译者:

出版时间:1980

价格:USD 50.00

装帧:Paperback

isbn号码:9780521294652

丛书系列:

图书标签: 递归论计算理论计算机科学数学数理逻辑可计算性 computability 计算机

Computability 2024 pdf epub mobi 电子书图书描述

What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effective or automatic way. This book is an introduction to computability theory (or recursion theory as it is traditionally known to mathematicians). Dr Cutland begins with a mathematical characterisation of computable functions using a simple idealised computer (a register machine); after some comparison with other characterisations, he develops the mathematical theory, including a full discussion of non-computability and undecidability, and the theory of recursive and recursively enumerable sets. The later chapters provide an introduction to more advanced topics such as Gildel's incompleteness theorem, degrees of unsolvability, the Recursion theorems and the theory of complexity of computation. Computability is thus a branch of mathematics which is of relevance also to computer scientists and philosophers. Mathematics students with no prior knowledge of the subject and computer science students who wish to supplement their practical expertise with some theoretical background will find this book of use and interest.

Computability 2024 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!