数理逻辑

本书由8个部分的内容组成,包括绪论和7个章节的内容。绪论部分介绍元数学的形成与发展,同时简要说明课程学...

2019.7

无穷小

在本书中,享有盛誉的历史学家阿米尔·亚历山大披露了在16-17世纪的欧洲,无穷小量为何会被抵制,以及它最终...

2019.3

GRE&GMAT逻辑阅读法

《GRE&GMAT逻辑阅读法》对单个逻辑单位做了详细的剖析,并详细阐述了两个逻辑单位之间的种种关系,最后结合...

2019.2

数理逻辑 : 第2版

”本书是一部难度适中的本科生数学教材.主要讲述了什么是数学证明,这些证明怎么能够被验证以及电脑在多大程...

2018.12

数理逻辑入门

本书是一本数理逻辑导论教材,主要介绍数理逻辑的基础知识,包括命题逻辑、一阶逻辑、不完全性定理及不完全...

2018.12

数学家用的数理逻辑教程

本书作者Yu.I.Manin是前苏联杰出的数学家,从事数论与代数几何研究工作。第1版书名为A Course in Mathemati...

2018.12

GMAT逻辑·冲750分

本书详细解析GMAT备考官方资料《GMAT官方指南》逻辑题目,旨在帮助广大GMAT考生全方位了解GMAT逻辑题的题型...

2018.12

哥德尔不完全性定理

本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理,包括纯抽象的不完全性定理,使用真概念的基于...

2018.11

面向后件集的模糊推理机制与应用

本书介绍了一种新的模糊推理机制——面向后件集的模糊推理机制。这种推理机制是在模糊集合相互关联的环境下进...

2018.11

复合命题推理研究

复合命题的功能是可以陈述事物各种情况之间的并存关系、选择关系、条件关系以及否定关系等。可以说是复合命...

2017.12