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

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

◼ 約翰 • 納殊(John Nash)的生平。 ◼ 博弈論(Game Theory)淺介。 ◼ 納殊贏得諾貝爾獎的理論。 ◼ 納殊理論的影響力

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

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

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

1.设在xOy面内有一分布着质量的曲线弧L,在点(x,y)处它的线密度为x,y),用对弧长的曲线积分分别表达: (1)这曲线弧对x轴、对y轴的转动惯量lx,ly (2)这曲线弧的重心坐标x,y

1.设有一平面薄板(不计其厚度),占有xOy面上的闭区域D,薄 板上分布有密度为=u(x,y)的电荷,且x,y)在D上连续,试用二重 积分表达该板上全部电荷Q

组合设计理论是现代组合论的一个非常重要的分支,本章介绍 这一分攴的概貌,而把详细的讨论留在本书的以后各章。在介绍概 貌时,着重三个方面:一、这个分支的实际背景,附带介绍历史的 两个著名组合学课题(§11.1);二组合设计的主要类型,即可分解 设计(§11,1),全设计和正交设计(1,2),平衡不完全区组没计 (511,2)对称设计循环设计,几何设计和 Hadamard没计(§11.4), 部分平衡不完全区组设计(51.5),t-设计和按对平衡组设计

上节我们学习了平面图形面积的计算,还利用分割、求和的分析方法,导出 了极坐标下平面图形的 面积公式 8=(0 现在我们看下面一个空间立体,假设我们知道它在x处截面面积为S(x),可 否利用类似于上节极坐标 下推导面积公式的思想求出它的体积?