周德仿，胡家宝主编2012 年出版228 页ISBN：9787111371120
本书共有7章。第1章介绍数制系统概论及其编码。第2章介绍布尔代数基础。第3章介绍组合逻辑电路。第4章介绍同步时序逻辑电路。第5章介绍异步时序逻辑电路。第6章介绍可编程逻辑器件。第7章介绍数字系统设计...
欧阳星明，溪利亚编著2015 年出版296 页ISBN：9787115380708
本书以数字集成电路为背景，将数字电子技术和数字逻辑电路的有关知识融为一体，系统地介绍了数字系统逻辑电路分析与设计的基本知识、理论和方法，并讨论了采用各种不同规模的逻辑器件进行分析与设计的详细过程。...
（美）马丁·戴维斯（Martin Davis）著2018 年出版291 页ISBN：9787535794420
本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合...
杨雪冬著2017 年出版302 页ISBN：9787520113571
本书是作者过去10多年撰写的时政评论、学术随笔的精选。这些文章试图通过对社会政治生活中的热点问题，日常生活中的普通事件、国际社会的最新变化进行及时的、理性的思考，以把握当下中国和世界变化的规律，理解...
张再跃，张晓如主编2013 年出版136 页ISBN：9787302331025
本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、...
李小五编著2010 年出版367 页ISBN：9787306036032
本书通常的动态认知逻辑只研究智能主体对命题的认知，涉及活动与后果之间的关系，本书建立一系列逻辑，把认知对象推广到其他领域。
叶晓慧，李小珉主编2006 年出版394 页ISBN：7560936210
本书是王毓银主主编的《数字电路逻辑设计》（第三版）配套的习题解答，作为教师从事该课程教学的辅助及学生学习的辅导用书。编者对每章按知识要点、重点与难点、例题精选、习题解答的顺序编写。...
