数字：破解万物的钥匙 【数理化】

本书讲述有关数字的神奇和关于数学的生动知识。

信号数字处理的数学原理 【数理化】

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

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

数字王国 世界共通的语言 【数理化】

本书为数字技术方面的普通读物。

数字 神奇的含义 【数理化】

作者认为数字文化是传统文化的重要组成部分，据此分析了人们对数字的偏爱及厌恶的心理，并对数字文化现象提出了新的见解。

共轭体系的简单分子轨道理论 【数理化】

数字处理的数学原理和方法 【数理化】

数字谱方法的理论与应用 【数理化】

本书内容包括:正弦类变换与哈特莱变换

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

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

泛悖论与科学理论创新机制研究 【数理化】

本书比较系统全面的梳理了国内外关于悖论研究的成果，深入探究了泛悖论在科学理论创新中的重要作用，初步确立了科学理论创新体制的悖论模式，也对悖论研究的方法论价值作了一定的有启发性的研究，具有一定学术价值...