本书以独特的视角呈现线性代数的全貌，*覆盖了线性空间与线性映射、矩阵与行列式、谱理论、欧几里得结构等核心理论，还单独讨论了向量值与矩阵值函数的微积分、动力学、凸集、赋范线性空间、自伴随矩阵的本征值计算等特色专题，理论和应用相结合。每章*有练习，并为部分练习提供解答。书后还有辛矩阵、快速傅里叶变换、洛伦兹群、若尔当标准形等16个附录。
教学设计是指教师在教学过程中，依据教学的一般原理和教学内容、目标、要求，结合自身的经验和特点，从学生知识、能力状况的实际出发，对各种教学要素进行统筹整合，制订教学方案的技术性活动，它是根据教学对象和教学目标，确定适当的教学起点与终点，将教学诸要素有序地安排并优化，形成教学方案的过程． 本书共 7章，内容包括总论、随机事件与概率、一维随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、极限定理、数理统计．涉及教学设计总论和 24节课程教学设计，每节课程教学设计包括：教学目的、教学思想、教学分析（教学内容、教学重点、教学难点、对重点、难点的处理）、教学方法与策略（课堂教学设计思路、板书设计）、教学安排（教学进程框架、教学进程详细内容）和教学评价 6个部分．c
本书讲述了小学和初中阶段数学学习法、学习习惯和解题思路，针对计算能力提升、知识难点讲解、数学思想应用和培养，为小学和初中阶段家长提升家庭辅助教育水平，以及初中学生实现自学与自练，提供了切实可行、容易上手的方法和思路，解决数学学习和教育中的种种困难，让大家不再盲从和焦虑。本书适合小学和初中阶段的家长和数学教师阅读，亦可作为学生本人提升数学水平的指导。
本书为日本数学家小平邦彦晚年创作的经典微积分著作，有别于一般的微积分教科书，本书突出“严密”与“直观”的结合，重视数学中的“和谐”与“美感”，讲解新颖别致、自成体系，论证清晰详尽、环环相扣，行文深入浅出、流畅易读，从原理、思想到方法、应用，处处体现了小平邦彦的深厚功力与广阔视野。作者着眼数学分析的深处，结合自身独到的思考与理解，从严谨的实数理论出发思谋微积分，通过巧妙引导，启发读者自主思考，提升对微积分的领悟理解程度。 本书是小平邦彦为后人留下的一份重要文化财富，不仅值得数学专业人士研读，对于需要微积分知识的其他理工科学生和专业人员也具有深刻启示。
本书系统介绍传染病动力学的数学建模思想、典型研究方法和主要研究成果。主要内容涉及具有时滞、接种免疫、疾病复发、类年龄结构、空间扩散和非线性发生率的传染病动力学模型以及具有胞内时滞、CTL免疫反应、抗体免疫反应、游离病毒扩散、细胞感染年龄和非线 染率的宿主体内HIV(HBV)感染动力学模型的建立和研究，也特别介绍有关艾滋病、乙肝和结核病等重要传染病在 外的**研究结果。本书重点介绍传染病动力学的数学建模方法、理论分析和数值模拟方法，内容丰富、方法实用，反映了当前传染病动力学在 外的**研究动态和作者的**研究成果。通过阅读本书，既能使一般读者尽快地了解和掌握传染病动力学的建模思想和理论分析方法，又能将具有一定基础的读者尽快带到相关研究领域的前沿。
本书严格依据浙江省最新颁布实施的“浙江省普通专升本《高等数学》考试大纲”编写。 内容包括配合《高等数学》基础篇精选基础习题库。读者通过对该部分精选习题的演练达到熟练掌握考试大纲要求的能力考查要求，突破高分。 本书既可以作为培训机构的课堂辅导教材，也能供考生作自学教材使用。
暂无内容简介。。。。。。
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统本书利用交互式定理证明工具Cog,实现 Morse-Kelley-公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把 Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论.这是 Morse-Kelley-公理化集合论系统的 形式化实现.在 Morse-Kelley-公理化集合论形式化系统下,作为应用,我们给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukc引理、 Hausdorff极大原则、极大原则、Zorn引理、良序定理及 Zermelo假定等在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Cq验证并在计算机上运行通过,体
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统本书利用交互式定理证明工具Cog,实现 Morse-Kelley-公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把 Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论.这是 Morse-Kelley-公理化集合论系统的 形式化实现.在 Morse-Kelley-公理化集合论形式化系统下,作为应用,我们给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukc引理、 Hausdorff极大原则、极大原则、Zorn引理、良序定理及 Zermelo假定等在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Cq验证并在计算机上运行通过,体
本书延续前几版的目标，涵盖抽象代数导论课程需要了解的所有主题。新合著者尼尔·布兰德仔细而又认真地修订了这本经典教材，根据其使用本教材的多年授课经验，对其内容进行了有意义的和有价值的更新。本书为学生提供了坚实的基础，并且通过对每种方法详细解释这种方法是做什么的，如何做，以及为什么作者会选择这种方法，可以帮助读者更入地了解代数。本版还包括一些抽象代数的应用，如RSA加密和编码理论，以及应用Gr?bner基础的例子。
几何是数学学习的基础之一，借助几何学，我们能搭建房屋、丈量土地、观测星空，还能设计滑梯、装饰地板……连一副小小的七巧板都能催生出众多数学成果。本书从建筑、测量、图形游戏等角度讲述了有趣的几何小故事，不仅涉及直线形、圆、非圆曲线、立体几何等基础几何学知识，而且加入了图论、拓扑、组合几何、非欧几何等主题，“扩大”了美妙的几何世界。本书阐释了几何学知识，同时介绍了古今中外关于几何的逸闻趣事，展现了图与形的自然之美。本书尤其适合小学高年级学生和中学生阅读。
陈永明教授结合50多年的数学教学经验，创作了这套《写给青少年的数学故事》系列图书。代数是重要的数学分支，本书不仅涉及经典的代数知识，如数、式、方程、函数、数列和极限，而且探讨了概率、集合、逻辑、组合、算法、密码学和混沌学等近现代数学元素。一篇篇小短文横跨古今，介绍中外数学研究故事和名人趣事，渗透了如反推、例证、奇偶校验、“跷跷板”等数学思维方法，发掘数学史和日常生活中的有趣故事，展现了数学的巧妙之处。本书适合小学高年级学生和中学生阅读，热爱数学的大众读者也能从中受益。
常微分方程稳定性理论和Lyapunov函数方法的重要*值与意义在**多年来的发展历史中已经得到了充分的证明，形成了从理论到应用的*个非常丰富的体系。 本书较系统地介绍了常微分方程稳定性理论和Lyapunov函数方法的基础内容和应用，从中读者可基本了解常微分方程稳定性理论的发展状况和研究方法。本书共计二十*节内容，可划分为两个*分。第**分从第1节到第12节，内容*括：基本定理，稳定性基本定义，Lyapunov函数，稳定、渐近稳定、不稳定和全局稳定的基本定理，解的渐近性质，稳定性比较方法，解的有界性定理等。第二*分从第13节到第21节，内容*括：Lyapunov函数构造方法基础和稳定性
