数学逻辑与推理.pdf
本书是《自修数学》小丛书中的一本．它从实用角度出发介绍了逻辑学中常用的归纳法及演绎法，并结合生活中的实例讲述了数学的推理论证、逻辑结构和逻辑数学等基本知识，书中穿插了不少富有启发性的练习，书末附有答案．本书深入浅出、生动有趣，可供中学生课外阅读，亦可供具有中等文化程度的读者参考．
逻辑与
数字逻辑与数字系统 | 3版.pdf
本书系统讲述数字逻辑和数字系统的基本概念、分析方法和设计原理，内容包括：开关理论基础、组合逻辑、时序逻辑、可编程逻辑器件、数字系统等。
超大规模集成电路设计. Ⅱ : 逻辑与测试.pdf
本书从基础理论到最新发展，介绍了集成电路设计中的逻辑设计与测试技术。其中包括布尔代数、逻辑设计、逻辑模拟、测试系统的生成及易测性设计。
逻辑与哲学：真与意义融合与分离之争的探究.pdf
本书以真与意义基于逻辑与哲学对话句真的两种不同解读为主线， 从逻辑的视角探究自然语言意义理论中真与意义融合、分离之争的焦点、实质及根掘，指出逻辑与真是化解这场争论的关键所在， 逻辑上对真的语义论达成共识之时， 也就是自然语言意义理论中真与意义之争得以解决之时。本书坚持认为，即使在
非经典数理逻辑与近似推理.pdf
本书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道等内容。
数字逻辑与数字系统 | 4版.pdf
本书包括开关理论基础、组合逻辑、时序逻辑、存储逻辑、可编程逻辑、数字系统、教学实验设计、课程综合设计等内容。