计算机科学
数理逻辑引论：计算机科学与系统的天然基础
《数理逻辑引论：计算机科学与系统的天然基础》,作者:刘志明,裘宗燕 编著 出版社:科学出版社 ISBN:9787030732385。数理逻辑系统是形式语言、形式语义和证明的三位一体。本书讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正
计算机科学技术名词（第三版）
《计算机科学技术名词（第三版）》,作者:全国科学技术名词审定委员会审定 出版社:科学出版社 ISBN:9787030594877。 《计算机科学技术名词（第三版）》是由第三届计算机科学技术名词审定委员会编撰完成,由全国科学技术名词审定委员会审定公布的计算机科学技术名词(第三版)。 内容包括通论、理论计算机科学、计算机体系结构、计算机硬件、系统软件、软件工程、数据库、人工智能、网络与数据通信、信息
计算机海洋一粟 : 华中科技大学计算机科学与技术学院论文集
《计算机海洋一粟 : 华中科技大学计算机科学与技术学院论文集》,作者:计算机科学与技术学院编 出版社:科学出版社 ISBN:7030145518。本书是华中科技大学计算机科学与技术学院近年来在计算机领域所取得的研究成果的汇集，共收论文29篇，重点论述了计算机存储结构、存储理论、磁盘阵列、计算机软件及应用方面所取得的一些创造性成果。
面向计算机科学的数理逻辑 | 2版
《面向计算机科学的数理逻辑 | 2版》,作者:陆钟万著 出版社:科学出版社 ISBN:7030096576。本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
