线性代数学习指导（普通高等学校应用型教材·数学）

本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数完备性定理,从而迅速且自然地给出数学分

本书在讲授了随机微分方程、随机反应扩散方程、随机Navier-Stokes方程和带切换的随机微分方程解的存在**性和正则性的基础上，系统地讲授了加性噪声和乘性噪声驱动的随机发展方程的适定性及正则性，总结了Hilbert空间和Banach空间中随机发展方程遍历性证明方法，简要讲述随机动力系统的Wong-Zakai逼近及随

全书分上下两册，共5篇，分为17章。力学篇包括物质的运动描述、质点动力学、质点系动力学与刚体运动、相对论简介、流体力学基础；振动与光学基础篇包括机械振动与机械波、波动光学、应用光学基础；热学篇包括气体动理论、热力学基础、物质状态和相变；电磁学篇包括静电场、恒定磁场、电磁感应；近现代物理篇包括量子物理基础、激光技术简介、

本书内容包括：绪论；第一篇光谱分析(光学分析法导论、原子发射光谱法、原子吸收光谱法、紫外-可见吸收光谱法、红外吸收光谱法、激光拉曼光谱法、分子发光分析法)；第二篇电化学分析(电化学分析法导论、电导分析法、电位分析法、电解分析法与库仑分析法、伏安分析法)；第三篇色谱分析(色谱分析法导论、气相色谱法、高效液相色谱法、离子色

本书集编者多年教学成果和经验总结，兼顾经典理论和学科发展，体现农林特色，利用少学时提纲挈领地向生物工程、食品科学和环境科学等与化学相关专业学生介绍物理化学的基本内容、方法和应用，强调基本概念和公式的物理意义，使其成为农林各专业学生学习基础课与专业课之间承上启下的桥梁。全书共12章，内容包括化学热力学基础、化学动力学、电

非连续变形分析（DiscontinuousDeformationAnalysis，DDA）全书分上下册。上册为基础知识部分，以及对DDA方法的改进。其中第1～3章，主要介绍DDA方法的基本理论、基本程序和基本功能；第4～6章，主要介绍作者对DDA的方法改进。下册为功能扩展部分和应用部分。其中第7～11章，主要阐述了作者

本书依据作者团队在空天飞行器热防护材料与结构的研发、评价与应用领域的研究成果，详细论述了高温结构复合材料体系与应用、力学性能试验技术、宏观本构理论与模型、强度理论、随机微结构统计描述与虚拟试验、高温结构复合材料损伤及失效机理、高温拉伸损伤及失效过程数值模拟方法以及高温结构复合材料的许用值与设计值等方面内容。

2019年9月,中共中央、国务院印发《交通强国建设纲要》,为我国建设交通强国指明了道路和方向.本书在编写时注重运筹学方法在交通运输领域的结合与应用,同时融入作者多年来从事交通运输管理与运筹优化研究的科研经验,力图从学生的视角出发,基于学生的专业背景、知识储备与理解能力,以生动形象的语言介绍运筹学的基本知识、基本概念和基

本书按照理工科物理实验教学的基本要求，系统地介绍了物理实验的基本理论、基本方法和基本技能。全书共6篇，包括物理实验绪论、仪器概述、基础实验、基本实验、综合性实验、设计性实验。本书注重实验原理的完整性和独立性，注重实验数据处理的方法，特别是采用不确定度科学地表达实验结果，同时注重实验教学中的启发性教学，每个实验设置了联想