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

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

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

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

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

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

物理马戏团 光学、电磁学和视觉问题 【数理化】

物理并不是那些必须在物理教室里才能解决的问题。物理现象和物理问题每天都在发生，且与我们生活、工作、恋爱、甚至生老病死息息相关。希望这本书能唤起你对物理的兴趣，找到你自己世界的物理马戏团。当你在做...

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

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

工业和信息化部“十二五”规划教材 电动力学 【数理化】

本书是工业和信息化部“十二五”规划教材。本书以作者多年讲授电动力学课程的讲稿为基础，结合理工科大学应用物理系学生特点编写而成。主要内容包括：电动力学的数学基础，静电场，稳恒磁场，电磁现象的普遍规律，电.....

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

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

伟大的自然定律 门德列也夫元素周期表和它在今天的意义 【数理化】

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

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

差分方程和常微分方程 【数理化】

本书系统地介绍了差分方程和常微分方程的各种问题与处理这些问题的方法。第一部分介绍差分方程的归结、求解方法与解的性质；第二部分介绍常微分方程各种可求解的类型及分析求解与数值求解的方法；第三部分介绍...