数理逻辑

本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、...

形式逻辑初稿

本书分为序言、判断、概念、推理、推理三段论、二难推理、省略体和复杂体、思维和语言在汉语中的表达形式、证明、类比推理、逻辑的基本规律等内容，从学者王立吾的手稿中整理成书，后附习题集。对了解建国初期...

中国古代推类逻辑研究

本书为国家社科基金后期资助项目。本书应用逻辑与历史相一致的辩证方法，把中国古代推类逻辑分为三个阶段：知类、求故、达理，构成一个体系，论证充分、具有很强的创新性。...

数理逻辑的思想与方法

本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...

聪明人玩的118个逻辑思维游戏

本书介绍思维训练方法。

数字电路与逻辑设计

本书系统介绍了数字电子电路的基础知识和基础理论，包括数字代数基础、逻辑门电路、组合逻辑电路、触发器、时序逻辑电路、脉冲波形的产生和整形电路、大规模集成电路以及数模和模数转换等。...

多品种混流生产平准化投产顺序的逻辑运算

心灵的桥梁 语言学与逻辑学

暂缺《心灵的桥梁：语言学与逻辑学》简介

电子技术 第5册 逻辑电路 修订版

超大规模集成电路设计 2 逻辑与测试