逻辑推理

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

2011.7

无穷小计算

“无穷小分析”这一名称是由欧拉创始的,这正是数学中“分析”一支名称的起源。本书作者所在的布尔巴基学派对20...

2012.3

数理逻辑引论

数理逻辑是离散数学的重要组成部分之一,是计算机科学的数学基础。本书内容主要侧重于逻辑演算:即命题逻辑...

2011.11

计算理论与符号逻辑

本书主要介绍、阐释了现代社会常见、实用的公务文书、事务文书、经济文书、法律文书、学术文书、书信文书、...

2011.10

谢弗函数研究

本书是关于谢弗函数研究的一部专著。作者整理了谢弗函数概念的历史发展,并在广义谢弗竖的基础上对谢弗雷格...

2011.6

逻辑与演绎科学方法论导论

本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。

2011.8

数理哲学导论

本书是罗素的数理哲学的通俗著作。在本书中罗素以他的明白晓畅的笔法陈述了数学原理研究中确定的研究结果。

2011.8