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 例题选解 习题二

7.1 半群和独异点的定义及其性质 7.2 半群和独异点的同态与同构 7.3 积半群 7.4 群的基本定义与性质 7.5 置换群和循环群 7.6 子群与陪集 7.7 群的同态与同构

定义.设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)确定曲线的渐近线;