大众科学技术史丛书 大众物理学史 【数理化】

物理学的发展史几乎与人类认识自然和改造自然的历史是同步的。为体现出人类文明的进步，这本小册子大致分为4个部分，即古代物理学的发展，近代物理学的发展，现代物理学的发展，主要是对物理学家和他们的成果的介绍....

科学技术成果报告 快中子在239PU核上散射截面实验数据编评 【数理化】

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

科学殿堂的力学之光 第五届全国力学史与方法论学术研讨会文集 【数理化】

本书为第五届全国力学史与方法论学术研讨会文集，收录了在会议上交流的论文35篇，内容涉及力学学科的历史、方法论和教学法的阐述。在力学史方面，着重介绍一些中外力学家的思想、治学理念和对学科发展所作出的贡...

对称可展结构 形态、展开过程与应用研究 【数理化】

本书系统论述了对称可展结构的形态、展开过程与应用。具体内容包括：基于能量原理和群集理论，得到了对称动不定体系稳定的必要条件；提出了对称体系可动的充分条件，建立了结构可动性的判别准则；研究了多因素对结构...

中国科学技术大学数学教学丛书 数理统计 【数理化】

本书是数理统计学的专业基础课教材。内容包括绪论、抽样分布、点估计、区间估计、假设检验、非参数检验和分布的检验、Bayes方法和统计判决理论等七章，各章都配备了习题，可供综合性大学和师范院校数学系或统...

中国科学院-中国科学技术大学硕士研究生入学考试化学类科目考试纲要 【数理化】

大众科学技术史丛书 大众数学史 【数理化】

数学在许多人眼中是抽象的、深奥的，乃至是呆板生硬、冷冰冰的。然而在冰冷面孔的背后，数学有着丰富多彩的故事。本书就是要介绍这一缤纷的数学世界，去认识历史上一位位杰出的数学家，感受他们刻苦求学的钻研精神...

分子束与激光技术揭示的化学动力学 【数理化】

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...