数字电路逻辑设计

本书以数字集成电路为背景，将数字电子技术和数字逻辑电路的有关知识融为一体，系统地介绍了数字系统逻辑电路分析与设计的基本知识、理论和方法，并讨论了采用各种不同规模的逻辑器件进行分析与设计的详细过程。...

逻辑的引擎

本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合...

实验逻辑学

《实验逻辑学》共十六章，其中第一至三章主要介绍本书所用到的软件——“塔斯基世界”，第四至十六章分别介绍运用该软件实现逻辑运算，包括原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑...

制度运行的逻辑

本书是作者过去10多年撰写的时政评论、学术随笔的精选。这些文章试图通过对社会政治生活中的热点问题，日常生活中的普通事件、国际社会的最新变化进行及时的、理性的思考，以把握当下中国和世界变化的规律，理解...

虎牙 法国侦探推理小说

本书为法国著名侦探小说家莫里斯·勒布朗丽著，书中讲述了主人公唐·吕斯以超人的胆略和准确的逻辑推理，协助警方侦破一起巨额遗产案的离奇故事。...

世上最经典的365道逻辑思维名题

奇迹就在你的眼前 非逻辑思考法

如何听如何说 高效能沟通的逻辑与秘诀

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

逻辑学

本书为高等学校普通逻辑教材。主要介绍了普通逻辑的基本知识和基本方法，旨在通过对这些基本知识和方法的学习，锻炼和提高学生的理论思维能力，开发学生的潜能，提高学生反驳谬误和明辨是非的能力，帮助学生学习和掌...