几何与数理逻辑

本书介绍汤璪真先生所著几何与数理逻辑的内容。

数理逻辑 第2版

本书是数理逻辑课程的经典教材。

数理逻辑基础与粒计算

粒计算是近年来计算机科学许多领域关注和研究的热点，对它的研究思路和处理的方法就是把大的问题分解为小的问题，把整体的概念分解为细小的概念，把复杂的处理分解为简单的处理，总之就是把整体分解为粒。然后再通...

语言、逻辑与认知：语言逻辑和语言哲学论集

逻辑·心理·认知 皮亚杰心理逻辑研究

本书从逻辑学和认知科学当代发展的角度，对皮亚杰心理逻辑作出整体分析。

历史与逻辑 作为逻辑历史学的宗教哲学

本书从人文的角度，对时间，历史，价值和逻辑等关涉人类存在的范畴进行阐述，探讨了个别时间与普遍时间的关系及个别时间的内在特性等问题。全书视角独特，思维色彩浓厚。...

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

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

数字逻辑基础

本书是计算机基础课程的系列教材。书中涵盖了数字逻辑的基本知识并配有习题与实验。

大学逻辑

本书主要论述逻辑学基本知识，如传统逻辑及其发展、现代逻辑初阶等。

逻辑分册 2008年版

本书介绍了有关逻辑知识。