交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

数学科学文化理念传播丛书 数学与文化

本书分3章探讨了数学与文化的关系。作者从数学和文化起源谈起，直至它们的演变和进化。用诸多的事例，说明数学对人类文化的影响，不仅显示在现代化科学技术方面，更重要的是它表现了一种理性主义的探索精神。书中...

传统文化与数学机械化

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

物理文化与物理学史

本书介绍了物理学概念、思想和方法。论述了古典物理学、经典物理学和现代物理学史，给出了一些研究结论和观点，分析了物理学的未来等。

汉字文化圈数学传统与数学教育 第五届汉字文化圈及近邻地区数学史与数学教育国际学术研讨会论文集

本会议于2002年在天津举行，来自日、韩、印度、中国大陆和台湾，以及俄、美等国学者70余人到会并宣读论文。本书精选其中约30篇论文发表。

数学文化与欣赏

本书是关于数学文化介绍与数学美欣赏的读本，而非数学理论专著。本书可供大学本专科各专业，特别是数学与应用数学专业，用作数学文化或数学欣赏课程的教材，也可供数学教师或数学爱好者阅读。本书主要从数学史、数...

中华民国史资料丛稿 译稿 中国事变陆军作战史

数学思想与文化

本教材选材较为系统，兼顾数学的总体概貌，数学发展的历史、现状和未来，数学的主要分支、常用的思想方法以及重要的数学问题。特别是，每章（或节）后设置了5～8个思考题，融入多年来高等数学的教学实践中学生所提出......

数学思想与数学文化

数学教育本质上就是一种素质教育,搞好数学教学就能体现素质教育。所以,数学文化与思想方法的教育在培养现代创新人才中的地位是任何学科都代替不了的。本书的宗旨是以熟知的数学知识为背景，挖掘数学知识中所...

数学与文化

本书将对数学与文化传统、信仰、民族文化、民族思维方式、宇宙的结构、人类文明、结构主义、经济、医学、宗教、天文、思维、科学技术、信息技术以及人文社会科学之间的关系进行基于文化学评述意义上的梳理...