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

中华传统数学文献精选导读 【数理化】

从传统几何到拓扑学 【数理化】

儒家思想与中国传统数学 【数理化】

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

中国传统数学思想史 【数理化】

本书系统论述中国传统数学思想的主要特点和发展脉络。

中国传统数学思想史 【数理化】

本书系统论述中国传统数学思想的主要特点和发展脉络。

中国传统数学史话 【数理化】

本书是为了介绍中国古代数学成就介绍。春秋至东汉中期，确立了中国传统数学框架；东汉至唐中叶，中国传统数学理论体系完成；唐中叶至元中叶，中国传统数学的发展高潮。...

传统文化与数学机械化 【数理化】

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

化学热力学 经典化学热力学的传统探讨 【数理化】

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

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