数理逻辑与集合论精要与题解

本书是清华大学计算机系列教材《数理逻辑与集合论》(第二版)一书的配套教材。全书分为两大部分:第1部分...

2016.9

GMAT批判性推理

GMAT批判性推理是以非形式逻辑作为依托,希望考生正确识别一个论证的结构,继而准确找到当前论证结构的评估...

2015.4

逻辑推理

心理学家认为,人的逻辑推理能力是自发产生的,随着年岁的增长,知识面的拓宽,逻辑推理能力也得到同步的发...

2011.7

MBA、MPA、MPAcc、GCT逻辑推理

本书是面向MBA、MPA、MPAcc、GCT等各类在职硕士考生的考前辅导用书,目的是通过对逻辑解题训练,帮助广大非...

2007.04

数理逻辑

本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲,第1-4章为基础内容,第5-6章为高...

2020.8

不完备性

20世纪早期见证了经典物理和数学的基础假设遭受的几次打击。相对论颠覆了约定俗成的时空观念。量子世界的研...

2008.04

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

本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、...

2007.06

应用逻辑

本书是一本介绍数理逻辑的基础教材。

2007.07

几何与数理逻辑

本书介绍汤璪真先生所著几何与数理逻辑的内容。

2007.05

GMAT逻辑推理

本书完全按照ETS关于GMAT逻辑考试的要求编写,书中全面系统地梳理、归纳、讲解了GMAT英语考试逻辑分析的考...

2006.06