《计算机科学基础:从数据操纵到计算理论(影印版)》向读者介绍了计算机科学的诸多分支。主要内容包括：文本、音频、图像与数据的数字化表示；计算机硬件与软件，如操作系统和程序设计语言；数据组织问题，如SQL数据库模型等。讲解循序渐进，从位和字节级别到较高的抽象级别，提供了使读者进一步学习程序设计和计算机学科其他分支领域所必备的基础知识。

计算机科学基础

计算理论是计算机科学的理论基础。《计算理论基础》(第2版)介绍了计算理论最核心、最基本的内容，包括形式语言与自动机、可计算性和计算复杂性三大部分。全书共分七章，分别为：集合、关系和语言；有穷自动机；上下文无关语言； Turing机；不可判定性；计算复杂性；NP完全性。《计算理论基础》(第2版)突出了算法，从而使计算机专业的学生更易接受，也更有收益。

计算理论基础

本书是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的理解并

形式语言与自动机导论

These original papers on cellular automata and complexity, some of which are widely known in the scientific community, provide a highly readable account of what has become a major new field of science

Cellular Automata And Complexity

This book is an up-to-date documentation of the state of the art in combinatorial optimization, presenting approximate solutions of virtually all relevant classes of NP-hard optimization problems. The

Complexity and Approximation

本书是一本优秀的数值分析教材，书中不仅全面论述了数值分析的基本方法，还深入浅出地介绍了计算机和工程领域使用的一些高级数值方法，如压缩、前向和后向误差分析、求解方程组的迭代方法等。每章的“实例检验”部分结合数值分析在各领域的具体应用实例，进一步探究如何更好地应用数值分析方法解决实际问题。此外，书中含有一些算法的MATLAB实现代码，并且每章都配有大量难度适宜的习题和计算机问题，便于读者学习、巩固和提

数值分析

Appropriate for senior and graduate level courses in Computer Science Theory, Automata, and Theory of Computation.  This is the long awaited Second Edition of Lewis and Papadimitriou's best-selling th

Elements of the Theory of Computation

Gain a clear understanding of even the most complex, highly theoretical computational theory topics in the approachable presentation found only in the market-leading INTRODUCTION TO THE THEORY OF COMP

Introduction to the Theory of Computation

递归论

这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。《可计算函数》从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m- 完全性、不动点定理、算术分层、oracle计算、不可判定性的度。作者还介绍了一些特殊的函数模型，如 turing机和递归函数。
《可计算函数》可供数学和计算机专业的本科生阅读，也可供所有希望学习计

可计算函数

This book——by a noted authority and educator in the field——presents computer
science theory from a uniquely intuitive,“big picture”perspective.The author grounds his clear and interesting study on bro

计算理论导论

《计算复杂性的现代方法》是一部将所有有关复杂度知识理论集于一体的教程。将最新进展和经典结果结合起来，是一部很难得的研究生入门级教程。既是相关科研人员的一部很好的参考书，也是自学人员很难得的一本很好自学教程。本书一开始引入该领域的最基本知识，然后逐步深入，介绍更多深层次的结果，每章末都附有练习。对复杂度感兴趣的人士，物理学家，数学家以及科研人员这本书都是相当受益。

计算复杂性

计算机复杂理论的研究是计算机科学最重要的研究领域之一，而Chistos.H.Papadimitriou是该领域最著名的专家之一。本书是一本全面阐述计算机复杂性理论及其近年来进展的教科书，主要包含算法图灵机、可计算性等有关计算复杂理论的基本概念；布尔逻辑、一阶逻辑、逻辑中的不可判定性等复杂性理论的基础知识；P与NP、NP完全等各复杂性类的概念及其之间的关系等复杂性理论的核心内容；随机算法、近似算法、

信息论与编码理论

本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。

自动机理论、语言和计算导论（原书第3版）

本书阐述了用于算法数学分析的主要方法，所涉及的材料来自经典数学课题，包括离散数学、初等实分析、组合数学，以及来自经典的计算机科学课题，包括算法和数据结构，本书内容集中覆盖基础、重要和有趣的算法，前面侧重数学，后面集中讨论算法分析的应用，重点的算法分的的数学方法。每章包含大量习题以及参考文献，使读者可以更深入地理解书中的内容。
本书适合作为高等院校数学、计算机科学以及相关专业的本科生和研究生的教材，

算法分析导论

本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 
　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概

程序设计语言的形式语义

本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分，系统地介绍了各种形式语言及相应的语言识别器——各类自动机. 作为递归论内容的深入，本书还概要地介绍了递归集、递归枚举集及递归度的概念；作为上述两部分内容的应用，第十一章还讨论了判定问题.

计算理论书籍推荐

高分推荐

最近收录

全部书目

相关主题