数理逻辑：基本原理与形式演算

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

新编形式逻辑

本书论述了中外逻辑发展史，形式逻辑的对象和作用、形式逻辑的基本规律、判断、演绎推理、类比推理等内容。

藏传因明思维逻辑形式研究

本书从理性角度，对藏传因明思维逻辑形式进行了比较通俗的研究和比较，从而使原本艰涩的藏传因明哲学变得清晰和易读。

形式逻辑导论

本教材认真总结了多年来的逻辑教学经验，吸收了同类教材的优点，并根据学生的学习情况着重加大了逻辑原理应用的份量，紧密结合公安、法律的实际阐述逻辑学原理。本教材共分为九章（绪论、、概念、简单判断与推理、...

逻辑原理与应用

本书分八章内容，讲述了逻辑在生活中的应用以及逻辑学作为一门应用科学，具体的逻辑概念；概念、判断、演绎推理、非演绎推理、逻辑基本规律及逻辑诡辩和论证的原理与应用。...

本体逻辑原理与应用

本书内容介绍了本体逻辑原理与应用，本体逻辑是以人类自然语言为研究对象，并以命题是肯定或否定的语义性质为真值形式的逻辑演算系统，此书介绍了它的原理与应用。...

微观经济理论基本原理与扩展 第9版

计算机网络基本原理与Internet实践

本书介绍计算机网络基本原理与Internet实践基础。

数字逻辑原理与VHDL设计

本书以数字设计为主线，重点介绍了数字设计的基础理论和基本方法，包括小规模电路设计。中规模电路设计以及可编程逻辑器件设计。全书共分九章，包括数字逻辑基础、集成门电路、逻辑函数及其简化、组合逻辑电路的...

身体，记忆与建筑 建筑设计的基本原则和基本原理

本书是对建筑艺术学科的专门阐述，尝试以图文并茂的形式，从体验建筑的视角来介绍建筑，并重新考查身体在建筑中的重要性。