非经典数理逻辑与近似推理 第2版 【数理化】

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

有趣的数学旅行 2 逻辑推理的世界 【数理化】

这套书分为《数的世界》、《逻辑推理的世界》、《几何的世界》、《空间的世界》四本，每本书中都选取丰富的有代表性的知识点来向我们呈现数学。如从数概念的诞生到无理数的发展，从数字极限到证明法剖析，从历史...

数据密集型计算环境下贝叶斯网的学习推理及应用 【数理化】

本书是一本学术专著。全书内容共分为5章，在阐述数据密集型计算原理的基础上，以贝叶斯网为主要数据分析工具，详细阐述了在数据密集型计算环境下，贝叶斯网络在结构学习，推理方面与传统单机数据模式下的区别与联系....

面向后件集的模糊推理机制与应用 【数理化】

本书介绍了一种新的模糊推理机制——面向后件集的模糊推理机制。这种推理机制是在模糊集合相互关联的环境下进行的，克服了传统模糊推理方法在前件集与后件集相互孤立的环境下推理会丢失前件集与后件集相关性...

证据网络推理学习理论及应用 【数理化】

不确定性决策是目前管理科学研究和应用中的一个热点问题。客观世界的实际问题往往涉及众多相互联系又相互影响的因素，这些因素本身及其相互之间的关系都存在大量的不确定性，而不确定性可分为两类，一类是反映客...

对偶三角模 三角余模逻辑及推理 【数理化】

非经典逻辑及其推理的种类和成果颇多。限于篇幅，本书仅总结作者2005年以来关于概率论、Lawry的适当测度理论、刘的不确定理论、模糊集理论与逻辑理论的结合研究的成果。根据非经典命题和谓词的不确定性的各...

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

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

逻辑推理新趣题 【数理化】

很少有关于逻辑趣题的书出版，但乔治.萨默斯先生就做出了这样的贡献。书中共有50道精心设计的逻辑趣趣题，从易到难，顺次排列。其中最难的那几道题，就是专家恐怕也会感到棘手的。你大概还未曾有机会测试一下自己...

现代无机化学导论 【数理化】

粒子物理学导论 【数理化】