第一推动丛书物理系列 时间、空间和万物

物理学有好多奇妙而令人疑惑的思想，可异它们都被锁在小盒子里，只有极少数的人拿着钥匙。作者用简单、没有数学的语言告诉我们，关于宇宙的基本结构、物理学会说些什么。他讲了现代物理学的所有基本概念，如基本粒...

几何定理计算机证明

本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...

离散数学 计算机数学基础教程

本教材主要介绍离散数学的集合论、组合论、图论、数理逻辑等知识。

实验数据的统计分析和计算机处理

电磁学及其计算机辅助教学 CAI

八十年代信息.计算机和通讯政策

物理学计算机程序设计50例

实用数学建模与软件应用 修订版

本书是在其第一版的基础上修订而成，对数学建模中使用广泛的各种数学模型进行了介绍。包括经典数学问题的建模巧用，初等模型，优化模型，离散模型，Markov模型，回归模型，时间序列模型，微分方程模型，差分方程模型，......

高等学校数学学习指导丛书 线性代数精讲精练

线性代数是高等院校理工科各专业的重要基础课，也是研究生入学考试数学科目的基本内容．本书按目前高等院校使用较多的同济大学编《线性代数》(第六版)的章节顺序，基本采用同步形式编写，符号、术语亦与其基本一致...

漫谈物理学和计算机

本书回顾了物理学与计算机的发展历史，阐述了物理学和计算机的密切关系以及相互促进的发展过程。