幻方的构造与数量

幻方是以排列组合为基础的数学问题，常见的有对称幻方、泛对角线幻方等，国内外数学家有较多研究，但尚未有全面优化的解决方法。本书作者创造性地运用中国象棋中的兵步、士步、马步构造幻方，提供了一种通用的优化...

函数构造的理论与应用 谢庭藩文集

本书共分成六个部分，主要研究的是用有限差的积分代替连续性模来给出Fourier级数绝对收敛的条件；Fouriei和Vall6ePoussin和以及Euler和对函数的逼近；多项式、逐段多项式以及插值多项武对函数的逼近，并系统综述了...

计算尺的使用与原理

计算尺的使用与原理

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

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

国产电子计算器的使用与维修

可编程序计算器的使用与维修

大型有限元程序的原理、结构与使用

本书针对各种大型有限元分析程序之间具有相同的分析原理和类似的模块结构这一特点，以国际流行的ANSYS多物理场有限元分析软件为背景，对大型有限元程序的分析原理等进行了介绍。...

分析化学中的标准物质选择与使用指南

本书介绍分析化学、材料科学、环境分析、临床和法证毒物分析、气体和食品分析等内容。

DS-5EC-201EL-5002电子计算器的使用与运算技巧