脑力震荡 全球最疯的逻辑谜题 【数理化】

本书收录了著名谜题作家亨利·杜德尼一系列的数学思维游戏，集知识性、娱乐性和思维训练为一体，让你在快乐思考的过程中掌握积极、敏捷、发散式的思维方法，并随时震荡你的脑力、激发出你的潜在智能。思维游戏是...

面向计算机科学的数理逻辑 【数理化】

《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...

基于不确定规则的模糊逻辑系统 导论与新方向 【数理化】

本书在简要介绍一型模糊集理论的基础上, 系统地讲述了二型模糊集的概念、表示、运算等基础理论，并由此发展了相对完善的二型模糊逻辑系统(FLS)理论，包括二型关系的合成、二型模糊集重心的计算、二型FLS的降型...

非帕斯卡概率逻辑的哲学基础与应用研究 【数理化】

帕斯卡概率与归纳逻辑的结合（即帕斯卡概率逻辑）是现代归纳逻辑发展的一个必然结果，但是帕斯卡概率逻辑有完全性预设假定：认知主体知道认知域的所有可能的态势，然而这种强假定并非是现实的科学认知主体的真实反映...

魔鬼逻辑学 揭露潜藏在历史与社会表象下的博弈法则 【数理化】

博弈逻辑（Game Logic）研究的是理性的人在互动行动中即博弈中的推理问题，是逻辑学科的一个分支，是 “理性的”行动者或参与者在互动的过程中如何选择策略或如何做出行动的逻辑，属于应用逻辑范畴。本书是一部有关...

具有三种否定的模糊集与模糊逻辑的理论及其应用 【数理化】

本书是一部研究型的具有原创性的专著，全书共分7章。第1章主要介绍知识处理与知识研究概况；第2章讨论研究模糊性对象的一般理论与方法，其中2.1.3、2.2.4和2.2.5节为我们的专题研究结果；第3章讨论关于模糊性对象...

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

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

逻辑与数学逻辑论 【数理化】

逻辑与数学逻辑论 【数理化】

现代逻辑与传统逻辑 【数理化】