计算机基础
计算机组成与系统结构(第3版）
《计算机组成与系统结构(第3版）》主要介绍计算机组成与系统结构涉及的相关概念、理论和技术，主要内容包括指令集体系结构、数据的表示和存储，以及实现指令集体系结构的计算机各部件的内部工作原理、组成结构及其相互连接。本书共分9章： 第1章对计算机系统及其性能评价进行概述性介绍；第2～3章主要介绍数据的机器级表示和运算，以及运算部件的结构与设计；第4～6章介绍指令系统、各种CPU设计技术及指令流水线；第7
计算机组成原理（第七版）
《计算机组成原理（第七版）》重点讲述计算机单处理器系统的组成和工作原理，在此基础上扩展讲述并行体系结构。《计算机组成原理（第七版）》共12章，主要内容包括计算机系统概述、运算方法和运算器、存储系统、指令系统、中央处理器、总线系统、外围设备、输入/输出系统、并行组织与结构、量子计算机、课程教学实验设计和课程综合设计。 《计算机组成原理（第七版）》配套试题解析、微课视频、多媒体演示动画、教学课件、
计算机组成原理（第3版）
《计算机组成原理（第3版）》共分为4篇，第1篇（第1、2章）介绍计算机的基本组成、发展及应用；第2篇（第3~5章）介绍系统总线、存储器（包括主存储器、高速缓冲存储器和辅助存储器）和输入输出系统；第3篇（第6~8章）介绍CPU的特性、结构和功能，包括计算机的算术逻辑单元、指令系统、指令流水、RISC技术及中断系统；第4篇（第9、10章）介绍控制单元的功能和设计，包括时序系统以及采用组合逻辑和微程
计算机组成与设计：硬件/软件接口 MIPS版（原书第6版）
本书由2017年图灵奖的两位得主撰写，是计算机体系结构领域的经典教材，每年被超过40000名学生使用。新版的主要更新是在每章中添加了关于DSA的内容，并更新了所有实例，使全书更加与时俱进，满足学生和读者的新需求。
哥德尔、艾舍尔、巴赫：集异璧之大成特精版
在计算机科学界，这是一本杰出的科学普及名著，它以精心设计的巧妙笔法深入浅出地介绍了数理逻辑、可计算理论、人工智能等学科领域中的许多艰深理论，并将其与艾舍尔构思奇特的名画以及巴赫那些脍炙人口的曲谱结合起来。
面向计算机科学的数理逻辑（第二版）
《面向计算机科学的数理逻辑（第二版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第二版）》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。《面向计算机科学的数理逻辑（第二版）》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑（第二版）》大部
逻辑与形而上学教科书系列：作为哲学的数理逻辑
现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解，孕育了现代计算机科学，还促成了分析哲学的崛起，由此深刻地改变了哲学研究的样貌。 此后的数理逻辑越来越陷入高度的技术化与专业化，并渐渐淡出公众、哲学家
数理逻辑（第2版 影印版）(英文版）
本书是一部难度适中的本科生数学教材.主要讲述了什么是数学证明,这些证明怎么能够被验证以及电脑在多大程度上能够执行这些数学证明.本书从一阶逻辑以及它在数学基础中的作用的讲述开始,深入阐述了 Trachtenbrot的不可判定性理论,基础等值理论的Fraisse特性,以及逻辑程序设计的基础这些经典的知识点. 读者对象:本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生、研究生以及相
万千教育.数理逻辑入门 开学季
作为一位终生思考如何以好的方式表达数理逻辑问题的学者，作者在该书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表，使得该书非常适合作为数理逻辑入门教材。 除了学者的身份，作者还是一位趣味谜题专家，致力予面向普通读者写作，
