半符号逻辑 传统逻辑与符号逻辑的桥梁 【数理化】

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 中 【数理化】

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 下 【数理化】

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 上 【数理化】

超越普特南试题 大学数学竞赛中的方法与技巧 【数理化】

本书收集了历年普特南数学竞赛的经典题型，并配有详细的解答与题型预测，从中国学生的数学思维出发，有利于提高中国学生在普特南数学竞赛中的能力。本书共有六章：证明的方法、代数学、实分析、几何学与三角学、数...

超越普里瓦洛夫 无穷乘积与它对解析函数的应用卷 【数理化】

本书对于无穷乘积及其对解析函数的应用给予了更深层次的介绍，全书在每节之后配有相应的习题及解答，使得读者在掌握基本知识的同时，能够对知识点有更高层次的理解与应用。本书适用于高等院校数学与应用数学专业...

证明与反驳 数学发现的逻辑 【数理化】

本书探讨了数学发现的逻辑

数理逻辑的思想与方法 【数理化】

本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。

数学与无穷观的逻辑基础 【数理化】

本书主要介绍了数学无穷与数学基础，潜无限数学系统与重建实无限数学系统的构想。

数理逻辑的思想与方法 【数理化】

本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...