数理逻辑的思想与方法 【数理化】

本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...

函数型与程序型计算器的用法 【数理化】

论质量的生成与意义 【数理化】

本书通过在研究量子空间背景下质量的生成与意义，对物理学中质量的概念，做了进一步的探讨，并对质量中的动力学、量子力学、广义相对论等均提出了一些新的思想和观点。...

微积分的本来面目 无穷小数的思维方法与计算 【数理化】

本书的基本概念是微分，不是导数。本书明确指出“数1”与“给定的正无穷小数”是两个不能定义的原始概念，在此基础上，以清楚、灵活的符号表达方式，完成了微分与积分运算，本书还给出了广义积分与级数合敛散性判别....

编制黄河综合利用规划技术经济报告的方法与步骤 【数理化】

分子光谱与分子结构 第2卷 多原子分子的红外光谱与喇曼光谱 【数理化】

证明与反驳 数学发现的逻辑 【数理化】

本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。

与黄金分割有关的级数和数列 【数理化】

本书探讨的内容包括无限全等阶连分数，斐波那契数，黄金数以及等比直角三角形数列及其图形。

气体离心机的稳定流型分析与测量 【数理化】

几何设计与计算的新进展 【数理化】

本书主要内容为几何设计和计算理论在工业中的应用，结合工业设计中亟需解决的关键问题和难点问题进行探讨，反映了国内几何设计与计算的最新研究和应用成果。...