数学
-
Galois上同调(法)让-皮埃尔.赛尔【内容简介】 本书是Cohomologie Galoisienne的英译本。原版(Springer LN5,1964)是基于我在1962~1963年间为法兰西学院讲一门课,在Michel Raynaud的帮助下写的讲义。在新的修订本中添加了许多内容,并且包含了对Verdier关于射有限群文本的一个缩写。*重要的增添是收录了R.Steinberg的论文“半单代数群的正则元”(Publ.Math.I.H.E.S.,1965).我对作者和法国高等科学研究所(I.H.E.S.)授权转载表示感谢。 其他的增添包括: .Golod—Shafarevich不等式的一个证明(第1章,附录2) .我在1991~1992年间为法兰西学院讲授K(T)的Galois上同调的课程概述(第2章,附录3). .我在1990~1991年间为法兰西学院讲授半单群的Galois上同调及其与Abel上同调(特别是3维时)的关系的课程概述(第3章,附录5) -
Hall代数[美]H.S.荷尔本书为民国时期中学生用的英文原版教材的影印版,书中介绍了代数的相关理论及应用,同时配以相应的习题,以供读者更好的理解。本书适合中学生师生及数学爱好者阅读参考。 -
几何原本欧几里得《几何原本》是世界上最著名、最完整且流传最广的数学著作,也是欧几里得最有价值的传世著作。欧几里得在《几何原本》中系统地总结了泰勒斯、毕达哥拉斯及智者派等前代学者在实践和思考中获得的几何知识。欧几里得建立了定义和公理并研究各种几何图形的性质,从而确立了一套从公理、定义出发,论证命题得到定理的几何学论证方法,形成了一个严密的逻辑体系——几何学。而《几何原本》也就成了欧氏几何的奠基之作,它的出现,对西方人的思维方式产生了深刻影响。 -
数理方程典型应用案例及理论分析尹丽洁《数理方程典型应用案例及理论分析》一书,在参考同类教材的基础上,结合传统的理论推导,增加了相关应用案例的分析及求解过程,希望能激发课程学习者对专业的兴趣。全书共分为4章,前3章分别介绍热传导方程、波动方程和调和方程等3类典型方程,第4章介绍一般二阶线性偏微分方程的分类。每个章节遵循工程问题的分析、定解问题的提出、定解问题的求解及分析的思路,旨在引导学生在学习过程中能够结合本专业的知识,用数学方程描述工程或者生活中遇见的波动、传热等现象,并在特定的条件下对方程进行求解和分析。 -
线性代数及其应用学习辅导与习题全解同济大学数学科学学院 编《线性代数及其应用(第三版)学习辅导与习题全解》是普通高等教育“十一五”国家级规划教材《线性代数及其应用》(第三版)的配套辅导书,书中内容编排与主教材保持一致,包括内容要点、教学要求和学习注意点、释疑解难、例题增补、习题全解等,有利于学生巩固所学知识,提高数学应用能力。《线性代数及其应用(第三版)学习辅导与习题全解》可供使用该教材的教师和学生参考之用。 -
创新思维下的数学教学探究张海花 著本书首先介绍研究的背景和研究的内容与意义,进行研究设计;然后对关于质疑式教学已有的研究成果进行梳理,探讨数学质疑式教学的理论基础;之后在调查、访谈、课堂观察与课例研究的基础上,开展数学质疑式教学实验研究,最后,是研究的结论与思考。 -
几何代数的形式化与初步应用关永,李黎明,施智平 著《几何代数的形式化与初步应用》以几何代数理论体系与自动定理证明思想为指导,系统深入地研究了几何代数的形式化理论与公理化体系,构建了一个兼具代数推理和几何解算能力的统一形式化数学定理体系,对代数与几何从概念上进行了融合与拓展、从描述方法和运算法则上进行了综合与归纳,为代数理论赋予了“形”的特征,为几何理论提供了“数”的内涵,并将其初步应用于实际物理问题的证明,内容涵盖了自动定理证明、机器人、形式化验证等人工智能领域。《几何代数的形式化与初步应用》主要内容包括:几何代数理论的进展、形式化理论;HOL Light 定理证明器体系;几何代数结构的形式化;几何与物理解释的形式化;单目相机姿态估计模型的形式化分析、对称陀螺运动的形式化分析等初步应用案例。作者长期对系统形式化与自动定理证明进行深入研究,并在机器人安全验证等领域持续实践迭代,《几何代数的形式化与初步应用》是对该过程成果的高度凝练与系统总结。 -
压电陶瓷的非线性动力学与控制刘延芳 著《压电陶瓷的非线性动力学与控制》基于作者多年来的研究成果,以压电陶瓷作动器为对象,研究了压电陶瓷作动器跟踪定位应用中的非线性现象和跟踪定位控制方法,主要内容包括压电陶瓷作动器非线性特性和机理分析、迟滞非线性建模与补偿、蠕变非线性和动力学效应建模,以及跟踪定位控制系统设计等。 -
无穷维线性系统控制理论郭宝珠,柴树根 著《无穷维线性系统控制理论(第二版)》第一部分报道了无穷维线性系统控制理论的发展,特别是适定和正则系统的抽象理论,也讨论了可控性、可观性、能稳性、可检性、可优性、可估性、实现,以及极点配置等几个主要的基础性概念。第二部分报道了适定正则系统理论在偏微分方程,主要是几个经典的高维偏微分方程中的应用。第1章和附录列出了《无穷维线性系统控制理论(第二版)》所需的有穷维系统控制、泛函分析、Riemann几何的基本知识,有利于初学者入门。 -
1小时看懂相对论武子 著科学固然深入,表达亦可浅出,本书就是一本用漫画形式通俗讲解相对论知识及史话的物理书。书中将100年前相对论的成果以及沿用至今的理论,划分成了一个个的知识点,并以风趣幽默的文字及夸张的漫画表达方式用一个个故事讲述出来。让读者在腹肌笑抽筋儿的同时,不知不觉便恍然大悟——宇宙原来是这么回事!本书适合广大的物理爱好者,尤其是对相对论感兴趣的读者阅读。
