偏微分方程理论与实践 【数理化】

本书主要內容包括：算子级数法，Lewy定理Lewy反例研究，偏微分方程理论的应用实践三个部分，作者在长期的教学科研实践中进行探索，提出了求解偏微分方程定解问题的新途径--算子级数法.该法使定解问题的求解过程简化，...

逻辑与数学逻辑论 【数理化】

逻辑与数学逻辑论 【数理化】

现代逻辑与传统逻辑 【数理化】

现代归纳逻辑与概率逻辑 【数理化】

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

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

新型量子逻辑 确定性逻辑的超越 【数理化】

逻辑斯谛 又称，“数理逻辑”的二值数学 【数理化】

现代逻辑学讲义 数理逻辑 【数理化】

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

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