“无穷小分析”这一名称是由欧拉创始的，这正是数学中“分析”一支名称的起源。本书作者所在的布尔巴基学派对20...
2012.3
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Gode...
2010.8
本书对不确定推理的定量方法进行了系统地概括，以包含度理论为基本原理，系统概括概率统计，政局推理，信息...
2007.04
本是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。...
2006.
本书主要介绍半符号化推理演绎体系的基本理论及其应用。
2004.
本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难，尽可能结合传统逻...
2004.01
《实定理的复证明》是对Hadamard的格言“实域中两个真理之间的最好和最短路程是通过复域”的延伸思考。面向熟...
2017.2
本书包含一阶数理逻辑的基本核心内容， 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、...
2019.7
本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。
2005.10
本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。
2004.04