周德仿，胡家宝主编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多年撰写的时政评论、学术随笔的精选。这些文章试图通过对社会政治生活中的热点问题，日常生活中的普通事件、国际社会的最新变化进行及时的、理性的思考，以把握当下中国和世界变化的规律，理解...
张再跃，张晓如主编2013 年出版136 页ISBN：9787302331025
本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、...
赵绍成编著2015 年出版329 页ISBN：9787564341671
本书为高等学校普通逻辑教材。主要介绍了普通逻辑的基本知识和基本方法，旨在通过对这些基本知识和方法的学习，锻炼和提高学生的理论思维能力，开发学生的潜能，提高学生反驳谬误和明辨是非的能力，帮助学生学习和掌...
李小五编著2010 年出版367 页ISBN：9787306036032
本书通常的动态认知逻辑只研究智能主体对命题的认知，涉及活动与后果之间的关系，本书建立一系列逻辑，把认知对象推广到其他领域。
