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.
MoreEffectiveC++的重点包括:·经过验证的一些用来改善程序效率的方法,包括尖锐而犀利地检验C++语言特性所带来的时间和空间上的
《101个有科学根据的减肥小偏方》内容简介:热量过多就是中毒,体重过多就是自杀! 专业医师邱正宏将多年的研究成果与实践经验,总
《Win32多线程程序设计》全书共分三篇。第一篇包括线程的启动和结束、核心对象、激发和未激发状态的意义、同步机制及其用途;第二
《金融激荡300年》内容简介:本书从经济学角度解读历史和政治,追溯300年金融激荡的进程,解读金融的力量,回答金融的走向,是一本
《程序员面试逻辑题解析》共分为3个部分。第一部分从有趣且锻炼头脑的谜题入手,继而给出解题思路和详细答案,更有“热身问题”给
《动态智力:儿童思维训练家庭解决方案(5-6岁)》内容简介:教具简单易收纳,两套教具(mathlink+研发棋牌)研发上百种玩法,亲子
《通信协议技术》是OHM通信实用技术系列之一。《通信协议技术》中基于以下三方面介绍通信协议技术:(1)通信协议中怎样利用图像
《经典里的中国(全新修订版)》内容简介:不读经典,也能活得好好的,但问题是,“活得好好的”意味着什么? 《诗经》《论语》《庄
数据结构算法解析 高等教材 内容简介 简介本书为严蔚敏、吴伟民编著的《数据结构(c语言版)》(清华大学出版社出版,本书将其简称为教科书)的学习辅导书。主要内容包...
《数字信号处理实验指导书》(MATLAB版)是《数字信号处理:基于计算机的方法》(第2版)一书的配套实验手册,内容涵盖了信号与信号
《现代数字与模拟通信系统(第4版)(英文版)》是电子工程领域中的理想的通信系统入门教材。作者首先介绍了信号与系统的基础理论和通
《普通高等院校电子信息类系列教材·无线通信调制与编码》主要介绍了无线通信中调制与编码的原理及其应用。全书共分7章,内容包括
《MySQL必知必会》MySQL是世界上最受欢迎的数据库管理系统之一。书中从介绍简单的数据检索开始,逐步深入一些复杂的内容,包括联
《迎接互联网的明天-玩转3DWeb(附盘)》,全书共5章,第1章主要阐述了国内外空前繁荣的3D互联网技术领域,以及这些领域透射出来的
本书是以MATLAB6.5版本为依托,介绍了MATLAB在通信工程中的各个方面地应用,是一本非常全面地介绍MATLAB通信仿真的书籍。该书作
《新手读财报》内容简介:本书作为财务分析的入门级读物,以“业”“财”融合为基调,充分强调财务源于业务,在理解公司业务的基础
Delphi编写黑客工具的书作者简介 网名“无敌小龙”,籍贯武汉,联系方式QQ:5450913,BLOG:hi.baidu.com/pespin,对计算机网络
NowavailablefromAbrams,thispopularbookoffersarare,close-uplookattheexquisite,lab...
《精通SEO:100%网站流量提升密码》内容简介:全书分为4个部分。第1篇【基础篇】主要介绍了搜索引擎和搜索引擎优化的基础知识,并通
《Oracle9i&10g编程艺术:深入数据库体系结构》是讲述Oracle数据库公证的权威指南,凝聚了世界顶尖的Oracle专家ThomasKyte数十年的