本书的内容主要包括:密度泛函理论(Densityfunctionaltheory,DFT)的基本概念,以及如何使用DFT方法对工程实际问题进行建模模拟和计算。内容包括:何谓密度泛函理论(DFT)、对于简单固体的DFT计算、DFT计算中的基本要素、固体表面的DFT计算、DFT计算振动频率、使用过渡态理论计算化学过程的速率、基于从头算动力学的平衡相图、电子结构和磁性、从头算分子动力学、在"标准"计算之外的精度和方法。
本书旨在介绍在高中数学奥林匹克竞赛、自主招生考试等中出现的常见重要不等式及其变形、拓展的应用。全书共8章,相互独立,每章精选了外数学竞赛中的典型不等式问题为例题,从系统观的视角,深入讲解每个问题,提炼了这些常见重要不等式的使用技巧,帮助读者建立不等式证明的“结构观”方法。 本书集普及性、理论性、实用性于一体,适合中学生、中学数学教师等阅读使用,也是学校开展教师培训与拓展性教学的好素材,同时可供数学爱好者参考。对参加全国高中数学联赛、高校自主招生等考试的考生也会有较大的帮助。
ThisbookgrewoutofmylecturenotesforagraduatecourseonoptimalcontroltheorywhichItaughtattheUniversityofIllinoisatUrbana-Champaignduringtheperiodfrom2005to2010.Whilepreparingthelectures,Ihaveaccumulatedanentireshelfoftextbooksoncalculusofvariationsandoptimalcontrolsystems.
《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的适用对象包括:中学信息学奥林匹克竞赛选手及辅导老师、大学ACM程序设计比赛选手及教练、高等院校计算机相关的师生、程序设计爱好者等。数学是计算机程序设计的灵魂。利用数学方面的知识、数学分析的方法以及数学题解的技巧,可以使得程序设计变得轻松、美观、高效,而且往往能反映出问题的本质。在外各项程序设计比赛(比如,ACM、NOI)活动中,越来越多地用到各种复杂的数学知识,对选手的数学修养要求越来越高。编写《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的目的就在于给广大ACM队员、NOI选手以及编程爱好者,分析一些程序设计中常用的数学知识和数学方法。
《Haskell函数式编程基础:原书第3版》是一本非常的Haskell函数式程序设计的入门书,依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、数组和列表的结构化数据、列表上的原始递归和推理、输入输出I/O的控制处理、类型检测方法、代数数据类型、抽象数据类型、惰性计算等内容。《Haskell函数式编程基础:原书第3版》包含大量的实例和习题,注重程序测试、程序证明和问题求解,易读易学。《Haskell函数式编程基础:原书第3版》循序渐进,从基本的函数式程序设计直至专题,让读者对Haskell的学习不断深入。
本书是学生学习数学的基础读物,不仅能够趣味的认识很多数学知识,还将生活中遇到的数学问题有趣的解释出来。在学习趣味数学知识的同时,培养读者的发散思维和创新能力。书中为读者讲述了各种不可思议的测量活动,令人惊叹的图形,了不起的数学理论和自然世界的种种数字,小读者们会发现数学原来这么有趣!
Ricci流理论是微分几何的热点之一。利用Ricci 流,HamiIton证明了任何紧致的具有正Ricci曲率的 三维流形微分同胚于空间球形式。从那时起, Ricci流就被用来解决在黎曼几何和三维拓扑中长时 间未被解决的公开问题。 《Ricci流与球定理》主要研究在Ricci流下黎曼 度量的发展方程,特别是高维Ricci流的收敛性理论 及其在微分球定理方面的应用,并展示了作者在所涉 及内容提供的不同的视角及论证。 本书作者Simon Brendle(布伦德),德国数学家 。2012年获得第六届欧洲数学会奖,用以表彰他在几 何偏微分方程以及椭圆、双曲、抛物线型系统方面的 杰出贡献。 《Ricci流与球定理》为作者在苏黎世联邦理工 学院开设的一个文凭课程的讲义,可作为数学研究生 教材,也可作为年轻科研人员的参考书。
黄家礼编著的《几何明珠(第3版)》以著名的平面几何定理为素材,系统地介绍了这些定理的历史渊源及各种巧妙简捷的证明与解法,得出许多美妙有趣的引申和推广,并挖掘出这些定理在解题中的一些典型新颖的应用。全书内容丰富、通俗易懂、深入浅出、妙趣横生,对激发兴趣,锻炼机敏的思维能力将大有裨益。《几何明珠(第3版)》可作为大、中学生的课外读物,也可作为中学数学教师的教学参考资料。该书版于1997年由科学普及出版社出版,并获2001年湖北省论著一等奖;第二版于2000年由台湾九章出版社出版。
During the years 1903-1914, Ramanujan recorded most of his mathematical discoveries without proofs in notebooks. Although many of his results were already found in the literature, most were not. Almost a decade after Ramanujan's death in 1920, G. N. Watson and B. M. Wilson began to edit Ramanujan's notebooks, but they never pleted the task. A photostat edition, with no editing, was published by the Tata Institute of Fundamental Research in Bombay in 1957. This book is the fourth of five volumes devoted to the editing of Ramanujan's notebooks. Part I, published in 1985, contains an account of Chapters 1-9 in the second notebook as well as a description of Ramanujan's quarterly reports. Part II, published in 1989, prises accounts of Chapters 10-15 in the second notebook. Part III, published in 1991, provides an account of Chapters 16-21 in the second notebook. This is the first of two volumes devoted to proving the results found in the unorganized portions of the second notebook an