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

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

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

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

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

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

2003年全国硕士研究生入学考试数学考试参考书 数学一和数学二适用 【数理化】

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

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

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

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

数学教育初论：比较研究和数学教学 【数理化】

本书是笔者从大学三年级开始从事数学研究到2012年为止近20年研究的汇总，涵盖中国和新加坡数学教育比较研究、国外数学教育研究介绍、数学教育技术、数学教学设计、数学解题等若干领域。本书共分为六部分：（１）中新...

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

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

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

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

科学技术研究报告 催化波的理论和在超纯分析中的应用 【数理化】