教学设计是指教师在教学过程中，依据教学的一般原理和教学内容、目标、要求，结合自身的经验和特点，从学生知识、能力状况的实际出发，对各种教学要素进行统筹整合，制订教学方案的技术性活动，它是根据教学对象和教学目标，确定适当的教学起点与终点，将教学诸要素有序地安排并优化，形成教学方案的过程． 本书共 7章，内容包括总论、随机事件与概率、一维随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、极限定理、数理统计．涉及教学设计总论和 24节课程教学设计，每节课程教学设计包括：教学目的、教学思想、教学分析（教学内容、教学重点、教学难点、对重点、难点的处理）、教学方法与策略（课堂教学设计思路、板书设计）、教学安排（教学进程框架、教学进程详细内容）和教学评价 6个部分．c
本书不仅详细叙述了拓扑线性空间，包括若干子类局部凸空间、赋范空间、内积空间的公理系统、结构属性及其之上的强弱拓扑、共轭性，还深入论述了该学科离不开的几个专题，即形式上更为一般的三大基本定理与泛函延拓定理, Banach代数特别是Gelfand变换的基本理论，紧算子及其谱理论，自伴算子的谱理论，无界正常算子的谱理论以及Bonsall的闭值域定理，不变子空间的Lomonosov定理等；而且给出了以上基本理论的丰富多彩的应用，包括完整的关于广义函数、Fourier变换及其偏微分方程基本解的论述，对于Tauber型定理的应用，von Neumann的平均遍历定理，算子半群的Hille-Yosida定理并应用于发展方程等。
本书系统介绍传染病动力学的数学建模思想、典型研究方法和主要研究成果。主要内容涉及具有时滞、接种免疫、疾病复发、类年龄结构、空间扩散和非线性发生率的传染病动力学模型以及具有胞内时滞、CTL免疫反应、抗体免疫反应、游离病毒扩散、细胞感染年龄和非线 染率的宿主体内HIV(HBV)感染动力学模型的建立和研究，也特别介绍有关艾滋病、乙肝和结核病等重要传染病在 外的**研究结果。本书重点介绍传染病动力学的数学建模方法、理论分析和数值模拟方法，内容丰富、方法实用，反映了当前传染病动力学在 外的**研究动态和作者的**研究成果。通过阅读本书，既能使一般读者尽快地了解和掌握传染病动力学的建模思想和理论分析方法，又能将具有一定基础的读者尽快带到相关研究领域的前沿。
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
偏微分方程是数学学科的一个分支，它和其他数学分支均有深刻的联系，而且在自然科学和工程技术中有广泛的应用。本书主要讲述广义函数与Sobolev空间、偏微分方程的一般理论、椭圆型方程的边值问题、双曲型方程或抛物型方程的初值问题与初边值问题、能量方法、半群方法等内容。以此为提高读者的整体数学素质提供合适的材料，也为部分读者进一步学习与研究偏微分方程理论做准备。
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统本书利用交互式定理证明工具Cog,实现 Morse-Kelley-公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把 Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论.这是 Morse-Kelley-公理化集合论系统的 形式化实现.在 Morse-Kelley-公理化集合论形式化系统下,作为应用,我们给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukc引理、 Hausdorff极大原则、极大原则、Zorn引理、良序定理及 Zermelo假定等在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Cq验证并在计算机上运行通过,体
商品基本信息 商品名称： 粒子物理导论（翻译版·原书第2版） 作者： 卫J 格里菲斯 市场价： 89.00 ISBN号： 9787111543428 版次： 1-1 出版日期： 2017-03 页数： 353 字数： 562 出版社： 机械工业出版社 目录 译者序 原书第1版前言 原书第2版前言 公式和常数粒子数据 引言1 第1章基本粒子物理历史介绍9 1 1经典时代（1897—1932）9 1 2光子（1900—1924）10 1 3介子（1934—1947）12 1 4反粒子（1930—1956）14 1 5中微子（1930—1962）16 1 6奇异粒子（1947—1960）20 1 7八重态（1961—1964）23 1 8夸克模型（1964）26 1 9十一月革
偏微分方程是数学学科的一个分支，它和其他数学分支均有深刻的联系，而且在自然科学和工程技术中有广泛的应用。本书主要讲述广义函数与Sobolev空间、偏微分方程的一般理论、椭圆型方程的边值问题、双曲型方程或抛物型方程的初值问题与初边值问题、能量方法、半群方法等内容。以此为提高读者的整体数学素质提供合适的材料，也为部分读者进一步学习与研究偏微分方程理论做准备。
本书系统介绍传染病动力学的数学建模思想、典型研究方法和主要研究成果。主要内容涉及具有时滞、接种免疫、疾病复发、类年龄结构、空间扩散和非线性发生率的传染病动力学模型以及具有胞内时滞、CTL免疫反应、抗体免疫反应、游离病毒扩散、细胞感染年龄和非线 染率的宿主体内HIV(HBV)感染动力学模型的建立和研究，也特别介绍有关艾滋病、乙肝和结核病等重要传染病在 外的**研究结果。本书重点介绍传染病动力学的数学建模方法、理论分析和数值模拟方法，内容丰富、方法实用，反映了当前传染病动力学在 外的**研究动态和作者的**研究成果。通过阅读本书，既能使一般读者尽快地了解和掌握传染病动力学的建模思想和理论分析方法，又能将具有一定基础的读者尽快带到相关研究领域的前沿。
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
本书系统介绍传染病动力学的数学建模思想、典型研究方法和主要研究成果。主要内容涉及具有时滞、接种免疫、疾病复发、类年龄结构、空间扩散和非线性发生率的传染病动力学模型以及具有胞内时滞、CTL免疫反应、抗体免疫反应、游离病毒扩散、细胞感染年龄和非线 染率的宿主体内HIV(HBV)感染动力学模型的建立和研究，也特别介绍有关艾滋病、乙肝和结核病等重要传染病在 外的**研究结果。本书重点介绍传染病动力学的数学建模方法、理论分析和数值模拟方法，内容丰富、方法实用，反映了当前传染病动力学在 外的**研究动态和作者的**研究成果。通过阅读本书，既能使一般读者尽快地了解和掌握传染病动力学的建模思想和理论分析方法，又能将具有一定基础的读者尽快带到相关研究领域的前沿。
本书自1992年9月出版以来，深受教师和学生的欢迎。在第二、三版中，作者根据读者提出的宝贵意见，以及在教学实践中的体会，对本书内容做了进一步修改与完善。 本版是第四版，其修订的指导思想是：在本书原有的框架和内容做尽可能少的改动下，让教初等数论的老师觉得更好用，学初等数论的读者觉得更易学，特别是自学。在本版中，除了附录四之外，内容整体上没有增加或减少。本次修订主要做了以下几点修改：将习题中一些较难的或需要用到大学数学知识的非基本题加上了星号“*”，以便读者区分；在附录四中增加了从2013年至2023年与初等数论有关的国际数学奥林匹克竞赛（IMO）试题；对书中部分内容的叙述做了少量必要的修改，以便读者更好地理解和掌握；改正了书中一些印刷错误及误漏。这些修改，对教与学都应该是有帮助的。 本书是大学“
暂无内容简介。。。。。。
新品预023 余丙森 森哥考研数学过关1000题 数学一新文道图书
本书系统介绍传染病动力学的数学建模思想、典型研究方法和主要研究成果。主要内容涉及具有时滞、接种免疫、疾病复发、类年龄结构、空间扩散和非线性发生率的传染病动力学模型以及具有胞内时滞、CTL免疫反应、抗体免疫反应、游离病毒扩散、细胞感染年龄和非线 染率的宿主体内HIV(HBV)感染动力学模型的建立和研究，也特别介绍有关艾滋病、乙肝和结核病等重要传染病在 外的**研究结果。本书重点介绍传染病动力学的数学建模方法、理论分析和数值模拟方法，内容丰富、方法实用，反映了当前传染病动力学在 外的**研究动态和作者的**研究成果。通过阅读本书，既能使一般读者尽快地了解和掌握传染病动力学的建模思想和理论分析方法，又能将具有一定基础的读者尽快带到相关研究领域的前沿。
紧扣大纲知识点超全超详细，讲解通俗易懂便于各阶段，解题过程一目了然。
