逼近与恢复的优化 孙永生文集

带有潜在故障恢复系统的半马尔柯夫模型控制

本书涵盖了半马尔可夫模型在不同系统中的控制策略，提出了它们具有可靠性和高效率的特点，探索了半马尔可夫模型的潜在失败因素，并给出了其解决方案。通过本书可使学生更快地掌握半马尔可夫模型控制理论及其相关...

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

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

化学多媒体课件的设计、开发与制作

随着计算机科学与技术的高速发展及其化学研究与化学教育的不断交叉、渗透和整合，现代计算机技术正在化学、化工专业的科研、生产、教学中起到日益重要的作用。本书主要论述了化学多媒体课件的设计、开发与制...

现代逻辑与传统逻辑

物理阅读与实验制作

几何画板与微型课件制作

儒家思想与中国传统数学

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

数学课件设计与制作

本书介绍了数学课件设计的理论基础、如何使用Authorware工具设计制作自主学习型教学软件；如何使用“几何画板”工具设计制作课堂教学型软件等。...

传统文化与数学机械化

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