半符号逻辑 传统逻辑与符号逻辑的桥梁

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

现代逻辑与传统逻辑

儒家思想与中国传统数学

本书系统深入地研究了儒家思想与中国传统数学特点之间的关系。

传统文化与数学机械化

本书从传统文化角度探讨中国的数学机械化思想，阐述数学机械化的算法程序、发展过程和应用价值。

编制黄河综合利用规划技术经济报告的方法与步骤

化学热力学 经典化学热力学的传统探讨

物理学与传统文化

本书从物理学中的力、热、电磁、光、现代物理和物理学思想展开，但是作为科普图书，本书并不追求每一个模块中物理知识的逻辑性，而是比较注重中华传统文化与物理学的衔接，追求文学性、科学性和趣味性的和谐统一。...

非传统区域Fourier变换与争交多项式

本书内容有：Fourier级数，Fourier积分，广义三角函数，快速Fourier变换及并行实现等。本书可供高等院校计算科学、应用数学、计算数学及有关专业作为教学参考书。...

中国数学教育 传统与现实 新版

《中国数学教育：传统与现实》一书揭示，中国数学教育不仅继承了中国的文化传统，也努力向世界上一切先进的数学教育经验学习。在继承和学习之间，在东方和西方之间，努力寻求一种科学合理的平衡。该书呈现这种追求。...

函数性数据的分析方法与经济应用

随着现代数据收集及贮存技术的迅速发展，许多领域研究者收集的数据呈现函数性特征，本书就函数性数据的相平面图分析方法、多元函数性主成分分析、函数性logistic回归模型、函数性线性回归模型的比较优势、函数...