"本书与同济大学数学科学学院编写的《高等数学》(第八版)相配套,由同济大学数学科学学院的教师按照《高等数学》(第八版)的章节顺序编写而成。本书的编排与教学需求保持同步,每节(或相关的几节)包括内容要点、教学基本要求、释疑解难、例题增补、习题选解等栏目。习题选解对教材中较难并具有典型性的约三分之一总量的习题作出简要解答,
本书共分为九章,包含多项式、行列式计算、线性方程组、矩阵、二次型、线性空间、线性变换、若当标准型和欧氏空间。每章分为三部分:第一部分为基本题型及常用解题方法介绍;第二部分为例题选讲(主要利用介绍方法教会学生解题);第三部分为北大与北师大教材习题及参考解答。
本书将打破人们的传统认知,用八个主题:数的秘密、数字符号与工具、数学与生活、数学家的故事、时间与历法、大自然中的数学、几何世界、数的运算,共104个数学知识点,184张精美插图,用简洁明快的语言带领读者们走进数学的世界,一起探索数学的奥秘。让孩子们收获关于数学的知识,感受数学名家的风范,也让孩子们在快乐的阅读中增长本领
逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术,而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次,用逻辑定理的机器证明工具
"本书内容由微分方程、多元微分学,多元函数积分、级数四个部分构成,涵盖了高等数学的基本理论和算法,章节内容设计由浅入深逐步递进。教材内容注重与相邻学科内容的衔接,同时注重与实际应用的结合。 高等数学(二)的内容:第7章为微分方程部分,包括微分方程的求解及其应用;第8章为多元微分学部分,包括多元函数的概念、偏导数的求导
本书的目标是为学生和讲师提供易于理解的资料。本书是为大学二年级以上的学生设计的分析学课程的第二卷,本书包括多元函数的微分、多元函数的积分、矢量微积分三部分,本卷的目的是将一个实变量实值函数的分析扩展到从Rm到Rn的映射。
这本书中提供了大量的趣味数学例子,包括几何、代数、概率、逻辑,以及其他一些领域。我们可以用不寻常但令人惊叹的数学知识逗乐大家。其中一些例子可能非常简单,甚至什么都不需要解释就可以达到目的。还有一些例子会被认为很了不起,它们能够引导读者真正欣赏数学,因为也许他们在学生时代没能意识到这一点。通过这些简短的例子,我们希望能让
抽象代数讲授的是十九世纪末到二十世纪代数学的主要成果,是现代数学的一个重要分支,是研究抽象的代数系统理论的一门近代学科。抽象代数的思想和方法不仅渗透到数学的各个分支中,它的结果应用到自然科学技术的许多方面。随着计算机和人工智能的发展,抽象代数理论得到了广泛的应用,已成为通讯、系统工程、计算机科学等领域的基本工具。 抽象
对于许多受过数学考试之苦的人来说,提起数学,或许总有种如鲠在喉的不悦。然而,在生活中,数学化身成为各种形式,不仅巧,而且美。相信阅读这本书的读者将会领略到数学之美,了解到数字、公式图形的魅力。《日常生活中的数学》分为4章。先讲算法之妙——令人着急的排队问题中也有大学问;其次讲算术之巧——用小技巧心算、速算两位数乘法;再
"本书是同济大学数学科学学院编的《高等数学》第八版,从整体上说与第七版没有大的改变,内容深广度符合2014年版“工科类本科数学基础课程教学基本要求”,适合高等院校工科类各专业学生使用。本次修订遵循“坚持改革,不断锤炼,努力打造培根铸魂、启智增慧的精品,为人才培养和立德树人作贡献”的要求,对第七版进行了一次细心的修订:少