本书是理论计算机科学领域的名作，是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分，分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义等主题，并展示了它们之间如何相互关联。　　本书是计算机及相关专业高年级本科生和研究生的理想教学参考书，对于计算机领域的专业人士也是很好的技术参考书。

📙 相关书籍

  1. 《计算机组成原理与汇编语言程序设计 第4版》高清PDF 本书是十二五”普通高等教育本科国家级规划教材。全书将《计算机组成原理》与《汇编语言程序设计》课程内容有机组成，更好地体现了软硬结合的思想，将计算机内部工作机制与编程求解问题结合起来。从微体系结构层、指令系统层、汇编语言层三个层次，以及CPU、存储系统、输入/输出系统及其互连三大系统出发，建立整机的概......
  2. 《计算机组成原理》高清PDF 本书主要介绍计算机单机系统的组成原理及内部工作机制，包括计算机各大部件的工作原理、设计方法、逻辑实现及互连构成计算机整机的技术。...
  3. 《动态多目标优化进化算法及其应用》高清PDF 本书在全面总结国内外在动态多目标优化及其进化计算发展现状、基础理论及实现技术的基础上，着重介绍了作者在基于进化计算的动态多目标优化方面的研究成果，主要包括：动态多目标优化及其进化计算的国内外研究进展、进化计算的理论及其技术实现、基于进化计算的动态无约束、动态约束多目标优化模型、方法，定义在离散时间空......
  4. 《电脑维护与故障排除技巧》高清PDF 本书详细介绍了电脑日常维护所涉及的相关知识，以及常见电脑故障的排除方法。全书共分14章，内容涵盖电脑组装流程、硬盘分区与格式化、安装操作系统、硬件维护与驱动管理、系统优化、局域网配置与维护、数据安全与灾难恢复、系统安全与病毒防御、主机硬件常见故障排除、电脑外设常见故障排除、操作系统故障排除、应用软件......
  5. 《信息安全导论》高清PDF 本书作为一本信息安全方面的导论书籍，结合信息安全领域的前沿研究，借鉴和引用国内外的相关文献资料，较全面、系统地介绍了信息安全的基本概论和知识。本书介绍了信息安全所涉及的基本概念、所依赖的模型和理论基础以及所使用的信息保护方法，从数据加密保护及密钥管理、数字签名、身份识别及认证、访问控制、信息流安全分......
  6. 《信息安全概论》高清PDF 本书为普通高等教育“十二五”规划教材。全书共分十二章，从信息安全基本概念出发介绍信息安全的基础理论和基本技术，主要内容包括信息安全基本概念、密码基础、密钥管理与认证技术、访问控制技术、操作系统安全、数据库安全、计算机网络安全、计算机病毒原理与防范、安全审计、信息安全管理和信息安全风险评估等信息安全学......
  7. 《迷茫的旅行商》高清PDF 《迷茫的旅行商：一个无处不在的计算机算法问题》概述了旅行商问题的起源和历史，并阐述了其许多重要的应用范围，如基因组测序、计算机处理器设计、音乐整理、行星寻找，等等。此外还探讨了人类如何在不借助计算机的情况下解决这个令人着迷的数学问题。《迷茫的旅行商：一个无处不在的计算机算法问题》图文并茂，生动有趣，......
  8. 《计算机组装与维护教程》高清PDF 本教程是根据全国高等院校计算机基础教育研究会发布的《中国高等职业教育计算机教育课程体系2010》（简称CVC 2010）编写的一本非常适合组织“ 教、学、做”一体化教学的教程。本教程分为8个教学单元，以精选的典型案例贯穿，图文并茂地介绍计算机系统结构和拆装机的基本流程、计算机外围设备识别与拆装、计算......
  9. 《计算机组装与维护项目化教程》高清PDF 本教材通过各个任务的完成，引导学生完成一台微型计算机的硬件选购、组装和维护等一系列操作。本书包括12个具体项目，知识点涉及计算机硬件系统的识别，计算机各主要部件的选购，计算机硬件组装，典型BIOS的设置，硬盘初始化设置，操作系统和硬件驱动程序安装，备份、恢复操作系统和硬盘数据，计算机系统的维护及优化......
  10. 《电脑组装与维护实战从入门到精通》高清PDF 《电脑组装与维护实战从入门到精通(超值版)》通过精选案例引导读者深入学习，系统地介绍了电脑组装与维护的相关知识和应用方法。全书共15章。第1～4章主要介绍电脑的选购及组装，包括电脑的组成、电脑硬件的选购、电脑组装配置推荐，以及电脑硬件的组装方法等；第5～7章主要介绍操作系统及软件的安装，包括BIOS......

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。