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

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

职前教师实体性知识发展研究 【数理化】

本书针对“数学专业师范生如何发展某概念的实体性知识，获得对数学概念的本质理解，改进知识结构，进而获得专业水平的理性的自我提升？”这一问题进行研究。首先重新审视了实体性知识的定义，并为它建立了理解水平分...

力学专业程序实践 用MATLAB解决力学问题的方法与实例 【数理化】

本教材从力学专业所遇到的典型数据处理问题出发，以任务为驱动，以应用为目的，以Matlab语言为平台，训练力学专业学生的程序实践能力。本教材分两部分：第一部分简介Matlab的基本内容和技巧，包括简介、快速入门、编程...

非线性共振式与耦合共振式振动时效装置研究 【数理化】

多自由度的可控机构式装载机是一种将可控机构应用到工程机械领域而开发的新型装载机，为了进一步研究此类多自由度可控装载机构新构型，本书分析研究了现有装载机工作装置的工作原理和结构特点，利用胚图插点的方...

实用数值计算方法与程序 【数理化】

计算技术与程序设计 【数理化】

本书内容包括误差与算法，程序设计等知识。

多元统计分析电算程序与应用 【数理化】

数值分析与应用程序 【数理化】

本书介绍了科学计算中常用的计算方法，并附有详细的计算程序。

有限元法基础与程序设计 【数理化】

数值计算方法与Matlab程序设计 【数理化】