本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一...
2014.3
本书为上海交大同名“通识教育”核心课程的教学用书，也适合于高校批判性思维课程教学使用。书稿以常用推理形...
2013.
数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象...
2013.11
本书对GMAT、GRE与LSAT逻辑推理题之间做了比较，详细讲解了GMAT逻辑推理题的考查内容及问题目的类型，出题...
2013.1
本书从一道前南斯拉夫数学奥林匹克试题谈起，以粗犷的线条，简明的介绍了麦卡锡函数、阿克曼函数及递归函数...
2012.8
本书最大的亮点之一是把GMAT逻辑推理涉及的基本规则及技巧以清晰简明的语言提供给读者，理解这些基本逻辑常...
2012.7
本书内容分为两篇，共5章。第一篇讨论经典与非经典数学的理论基础问题。分两章陈述，其中第一章研讨精确性...
2012.6
本书内容涵盖《数理哲学导论》。
2012.
数理逻辑是从传统形式逻辑中分化出来的一门新兴科学。本书从4个方面讲述了数理逻辑及其基础知识。第一部分...
2012.1
数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。本书内容主要侧重于逻辑演算：即命题逻辑...
2011.11