范畴类型逻辑：从语言到逻辑

本书对范畴类型逻辑的发展、功能进行了全面的研究。

数理逻辑引论与归结原理

本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...

非经典数理逻辑与近似推理

本书大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发，建立了积分语义学...

数理逻辑导引

本书旨在系统地引导数理逻辑一阶系统理论，包括一阶逻辑的三大基本特征定理：哥德尔完备性定理、紧致性定理、以及可数同质子结构存在性定理；并且以数这一基本常识观念为中轴线，包括自然数、整数、有理数、实数和...

实物与暗物的数理逻辑

量子力学与相对论极大地改变了人类的思维和对自然的认识，极大地促进了科学技术的发展。量子力学与相对论是物理学的终结吗？未来的物理学向哪个方向发展？本书从实物与暗物的数理逻辑角度提供了一个视角，阐述了重...

逻辑学与逻辑术 第2辑

新型量子逻辑 确定性逻辑的超越

美国经典全脑300题 数理逻辑卷

本系列全套3本，分别为数理逻辑卷、语言文字卷、综合知识卷，是一套适用于小朋友脑力训练的高难度题集。内容丰富多彩、题型变化多样，极具挑战性，能提升孩子的自信心和意志力。出题方式妙趣横生，内容丰富，包含了......

数理逻辑基础

本书是数理逻辑的有名经典著作之一，内容包括四章：第一章为命题演算，介绍基本逻辑联结词及其各种性质，并就命题演算而给出一个公理体系，证明其不矛盾性，完备性及互相独立性．第二章为类演算，兼讨论如何从类演算......

国外计算机科学教材系列 可计算性与数理逻辑

本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...