《大学物理（下册第3版）》是长江大学工程技术学院基础部物理教研室编写的《大学物理》系列教材的下册。主要内容有第五篇电磁学、第六篇近代物理学基础。第五篇电磁学包括真空中的静电场、静电场中的导体和电介质、稳恒磁场、磁场中的磁介质、电磁感应、电磁场和电磁波。其中将稳恒电流放在静电场中的导体和电介质之中以备某些章节调用；电磁波

本书以ANSYS公司有限元分析软件Workbench18.0为操作平台，详细介绍了软件的功能及应用。全书共分为19章，首先以各个分析模块为基础，介绍ANSYSWorkbench18.0的建模、网格划分、分析设置、结果后处理，然后以项目范例为指导，讲解Workbench在结构静力学分析、模态分析、谐响应分析、响应谱分析、

本书介绍如何利用MATLAB来仿真高等光学中举足轻重的两个研究方向——光波导和激光中的一系列理论模型。读者通过这些仿真过程和结果能够进一步加深对光波导和激光的理解和应用。全书共7章,分别介绍光的电磁理论基础,光的干涉和衍射,理想平板介质光波导中的光传播特性及仿真,光纤中的光传播特性及仿真,高斯光束和光纤耦合,激光原理及

博弈论是一门以数学为基础的、研究对抗冲突中最优解问题的学科，是人们深刻理解诸如经济行为和社会问题的基础。博弈论最重要的贡献就在于它能够促进人类思维的发展，促进人类的相互了解与合作。除经济学以外,博弈论在生物学、管理学、国际关系、计算机科学、政治学、军事战略和其他很多学科都有广泛的应用。本书涵盖了非合作博弈理论、合作博弈

本书系统地介绍流体力学中的基本方程，即：不可压缩Navier-Stokes方程的最新理论和方法，着重介绍Fourier分离方法及其在Navier-Stokes方程中的应用。具体讲，就是用此方法建立大初值整体弱解在范数意义下的最优大时间行为，以及整体小初值强解在范数意义下的长时间渐近行为。本书循序渐进地阐述Navier-

以作者20年来的研究成果为基础，精选一批在传统物理学教科书中无法深入讨论的重要问题，借助新版本Mathematica强大的符号运算和数值计算能力、杰出的数字绘图以及动画制作功能，图文并茂地展现各个重要实问题的物理内涵.本书内容有电场、磁场、动力学微分方程的数值解与运动轨迹、量子力学四章.选题经典，内容先进，方法新颖，分

本书是对高等代数重点、难点内容的数学本质的探索与挖掘，是作者10多年教学经验的总结。本书是基于北京大学数学系前代数小组编写，王萼芳、石生明修订的《高等代数》（第五版）介绍的高等代数理论和方法而编写的。全书分为九讲，包括多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、λ-矩阵和欧氏空间，每一讲都对其理论进行

布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其

本书分为四个部分：第一部分，写现代时期的数学；第二部分，回溯过去,讨论微积分的起源，以及伴随着非欧几里德几何的诞生而出现的概念性转变；第三部分，讨论数学中最富哲学性的术语：无限的概念和形式逻辑的基础，也讨论了艾伦·图灵的天才想法，并试图阐明真理、证明与可计算性之间的关系；第四部分，考虑数学在我们试图理解我们周围的世界的

本书二十章，内容涉及：代数、数论、逻辑、概率、无限集合与数学的基础、环、矩阵、转化、群、环以及拓扑学。讨论了毕达哥拉斯、阿基米德、牛顿、莱布尼茨、高斯、罗巴切夫斯基、伽罗瓦、黎曼、麦克斯韦、爱因斯坦等众多人物的贡献。书中的内容纯数学和应用数学各占一半，二者紧密结合。