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 世纪前一直是几何学的同义词

主要内容：一阶逻辑等值式与基本的等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统NL 及其推理规则。 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论

柏拉图 Plato (427BC~347BC) 柏拉图(Plato)，公元前 427 年生于古希腊首都雅典，公元前 347 年卒于雅典。 柏拉图是古希腊伟大的哲学家。他认为宇宙万物（包括恒星、得星、太阳和月亮）均围绕 地球旋转。他对自然科学方面的研究涉及算术、平面几何、立体几何、天文学、声学等