集合论含有原子的自然模型和布尔值模型 【数理化】

本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的...

数学和数学家的故事 7 【数理化】

《数学和数学家的故事》是一本介绍古今中外数学家生平事迹和各种有趣数学问题的数学普及读物。在这套科普读物中，青少年不仅可以了解和涉猎历史上许多著名的数学问题，而且也有可能了解和认识数学界的最新成果...

求总极值的某些确定性算法 连续变量和整变量情况 【数理化】

本文分“求总极值的确定性算法的概述”、“用均值——水平集求总极值的算法”、“用填充函数求总极值的算法”三章，对积分型和填充函数型两种求全局最优化的理论和方法作进一步探索。...

北航 2018MBA MPA MPAcc联考综合能力 数学高分指南 【数理化】

迷人的温度 温度计里的人类、地球和宇宙史 【数理化】

本书作者吉诺·格塞雷是美国著名的理论物理学家，他在书中以温度这个物理学的基本概念为主线，贯穿生物、医学、工程、天体物理及理论物理等领域，从科学史的角度，探讨了温度与物质及生命之间的联系。本书从人类及...

LINGO和EXCEL在数学建模中的应用 【数理化】

本书深入浅出地介绍了LINGO的基础知识、用LINGO语言描述现实问题的方法和用EXCEL处理数据的方法，重点是这两种软件在解决各种优化问题以及在数学建模中的应用，通过丰富的实例介绍了把实际问题转化为数学模型...

树和偏序理论的模型论研究 【数理化】

本书主要介绍树和偏序理论模型论研究的最新成果，包括带根节点的有向树、无向树理论，以及有最小元的树形偏序理论的量词消去及相关模型论性质。全书共分六章。第一章介绍一阶逻辑的预备知识；第二章介绍量词消去...

科学图书馆 不可思议的物理 对光炮力场隐形传送和时间旅行世界的科学探索 【数理化】

一百年前，科学家们会说，激光、电视和原子弹超越了物理学上的可能性。在《不可思议的物理》中，著名物理学家加来道雄探索了科幻作品中目前被认为无法实现的科技与装置在未来有多大的可能性会变得司空见惯。...

黄鸣龙还原反应 羰基和含官能团羰基的还原反应 【数理化】

本书是一本汇集国内外关于黄鸣龙还原反应应用的成就、经过分析整理撰写而成的具有创见性的著作。书中系统介绍了黄鸣龙还原反应的发展历史、反应机理、应用范围和还原实例。...

分子和固体中的电子关联 原书第3版 英文 【数理化】

本书用独特的方法讲述分子和固体中的电子关联。分子和固体中的电子关联性为量子化学和固态物理学架起了一座桥梁，书中前半部分新概念的讲述为了很好的处理多体和关联效应；后半部分讲述了在分子、半导体、过渡...