定义.设a,B是自变量同一变化过程中的无穷小, 若lim=0,则称β是比a高阶的无穷小,记作 B=o(a) 若lim=∞,则称B是比a低阶的无穷小; 若lim=C≠0,则称B是a的同阶无穷小;

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

前几章讨论的函数y=f(x),是因变量与一个自变量 之间的关系,在此关系中,因变量的值只依赖于一个自 变量,称这类函数为一元函数.但在许多实际问题中往 往需要研究因变量与几个自变量之间的关系,这时因 变量的值依赖于几个自变量

利用函数的性态如函数的单调性、极值、凹性、 拐点、渐近线及基本性质如周期性、对称性等;再 利用描点(特殊选点)作图,就可比较准确地作出函数图形.描绘函数图形的一般步骤是: (1)确定函数y=f(x)的定义域,讨论其周期性和对称性; (2)确定曲线的渐近线;

芝诺 Zeno (490BC~425BC) 芝诺(Zeno)，公元前 490 年生于意大利南部的埃里亚，卒于公元前 425 年。 芝诺是一位公认的哲学家，他的四个自相矛盾的观点对数学的发展产生了深远的影响

3.1导数的概念 一引例 1变速直线运动的瞬时速度 匀速直线运动的(瞬时)速度 设作变速直线运动的质点P(运动轨迹为s=s(t)从to

欧几里得 Euclid (325BC~265BC) 欧几里得（Euclid），生于公元前 325 年，卒于公元前 265 年。 公元前 300 年前后，欧几里得活跃于古希腊文化中心亚历山大。欧几里得以其所著《几何 原本》闻名于世，他的名字在 20 世纪前一直是几何学的同义词