本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

一、一个方程所确定的隐函数及其导数 二、方程组所确定的隐函数组

北京大学：《高等代数》课程教学资源（讲义）第十二章 张量积与外代数 12.3.2 用一个多项式的根和另一个多项式计算结式的公式 12.3.3 用一个多项式与它的微商的结式表达该多项式的判别式

一、根的隔离与二分法 二、牛顿切线法及其变形 三、一般迭代法(补充)

微积分基本公式 在上一节我们已经看到,直接用定义 计算定积分是十分繁难的,因此我们期 望寻求一种计算定积分的简便而又一般的方法。我们将会发现定积分与不定积分之间有着十分密切的联系,从而可以利用不定积分来计算定积分

1.设A=(-∞,-5)(5,+∞),B=[-10,3),写出AB,AB,AB及 A(AB)的表达式 2.设A、B是任意两个集合,证明对偶律:(AB)C=ACUB 3.设映射f:X→Y,AcX,BCX.证明 (1)(AB)=()(B); (2)f(b)f()f(B)

1.验证罗尔定理对函数y= In sinx在区间乙,5上的正确性 66 2.验证拉格朗日中值定理对函数 5x2+x-2在区间[O,1 上的正确性

1.求函数的极值: (1)y=2x2-6x2-18x+7; (2)y=x-ln(1+x); (3)y=-x+2x; (4)y=x+√1-x;

1.利用定积分定义计算由抛物线y=x2+1,两直线x=a、x=bb>a)及横轴所围成的图形的面积