周德仿，胡家宝主编2012 年出版228 页ISBN：9787111371120
本书共有7章。第1章介绍数制系统概论及其编码。第2章介绍布尔代数基础。第3章介绍组合逻辑电路。第4章介绍同步时序逻辑电路。第5章介绍异步时序逻辑电路。第6章介绍可编程逻辑器件。第7章介绍数字系统设计...
欧阳星明，溪利亚编著2015 年出版296 页ISBN：9787115380708
本书以数字集成电路为背景，将数字电子技术和数字逻辑电路的有关知识融为一体，系统地介绍了数字系统逻辑电路分析与设计的基本知识、理论和方法，并讨论了采用各种不同规模的逻辑器件进行分析与设计的详细过程。...
（美）马丁·戴维斯（Martin Davis）著2018 年出版291 页ISBN：9787535794420
本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合...
李娜编著2017 年出版378 页ISBN：9787310053513
《实验逻辑学》共十六章，其中第一至三章主要介绍本书所用到的软件——“塔斯基世界”，第四至十六章分别介绍运用该软件实现逻辑运算，包括原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑...
杨雪冬著2017 年出版302 页ISBN：9787520113571
本书是作者过去10多年撰写的时政评论、学术随笔的精选。这些文章试图通过对社会政治生活中的热点问题，日常生活中的普通事件、国际社会的最新变化进行及时的、理性的思考，以把握当下中国和世界变化的规律，理解...
