GMAT批判性推理 逻辑分类精讲

GMAT批判性推理是以非形式逻辑作为依托，希望考生正确识别一个论证的结构，继而准确找到当前论证结构的评估方式，最终选出正确的答案。本书正是以批判性推理题型所考查的非形式逻辑作为基础编写的，共九章，前面八章...

理论流体力学的逻辑自洽化分析 源于“湍流”的哲学和数学思考

多值逻辑的理论和方法 非规范多值逻辑研究

本书回顾了多值逻辑发展简史，对一系列逻辑学家提出的一些逻辑系统及其语义和哲学背景给以介绍。多值逻辑的建立与未来偶然命题有直接关系，还与模态命题，概率论，非决定论有关；函数完备性问题是一个困难的独立问题...

防策略投票理论的逻辑研究

本书将基于社会选择理论进行“跨文化互动的逻辑机制研究”，针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力，建立相关的逻辑系统，以求理论瓶颈的突破。进而，给出下一步的研究方向，即用精确的形式语言来...

数理逻辑基础 一阶逻辑与一阶理论

本书介绍数理逻辑的基础部分。

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

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

集合，逻辑与设基理论

一阶逻辑与一阶理论

电磁场理论形式逻辑分析

本书是一本论文集，主要涉及“电磁场理论”、两类“相对论”、20世纪“非平衡态热力学”以及“流体力学”等学科数学基础的分析。

多值逻辑函数结构理论研究

本书总结和概括了作者及其导师在国家自然科学基金等资助下，近20年来从事多值逻辑理论研究的主要成果。全书较系统地介绍了完全和部分多值逻辑函数的结构理论；较详细地介绍了部分多值逻辑中Sheffer函数的判定...