本书共分6章。第一章介绍了运算的基本思想与方法;第二章至第四章介绍了命题逻辑的思想和方法;第五六章介...
2012.10
本书从一道前南斯拉夫数学奥林匹克试题谈起,以粗犷的线条,简明的介绍了麦卡锡函数、阿克曼函数及递归函数...
2012.8
本书最大的亮点之一是把GMAT逻辑推理涉及的基本规则及技巧以清晰简明的语言提供给读者,理解这些基本逻辑常...
2012.7
本书内容分为两篇,共5章。第一篇讨论经典与非经典数学的理论基础问题。分两章陈述,其中第一章研讨精确性...
2012.6
本书内容涵盖《数理哲学导论》。
2012.
数理逻辑是从传统形式逻辑中分化出来的一门新兴科学。本书从4个方面讲述了数理逻辑及其基础知识。第一部分...
2012.1