6.1整数规划 整数规划(IP, integer programming):决策变量的全部或部分取整数值的线性规划显然,整数规划去掉对决策变量的整数性要求即为一般线性规划问题分类:

类似于一元函数的广义积分对于二元函数也有两 类广义二重积分.即可分为积分区域无限与被积函数无 界两种下面只研究无界区域上的二重积分的计算方法 定义3设D是xoy面上的无界区域,f(x2y)在D上连续且G 是D上的任意一个闭区域上若G以任何方式无限扩展且 趋于D时

定义1设有一立体是由底、侧面、顶三部分围成;其 中底是x平面上的一个有界闭区域D,侧面是以D的边界 曲线C为准线、母线平行于轴的柱面,顶是一曲面,其 方程为=f(xy)(xy)∈D,连续且f(xy)≥0 则称此立体为曲顶柱体

2.2.1树 1847年,克希霍夫在研究电网络方程时首次提出了树的概念 树(tree): connected(连通的) and acyclic(无圈的) graph. 平凡树(trivial tree):v=1的树,即K1(平凡图);非平凡树(nontrivial tree): otherwise. 叶(leaf):树的悬挂点(度为1的顶点);分支点(branch vertex:度≥2的顶点 非同构的树

推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法

一. 随机变量的模拟 掌握成功模拟具有特定分布的随机变量的方法, 是模拟随机现象的重要方面

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

1. 建模过程 做最简单的假设： 时间间隔t 内的出生人数=b N(t)t 时间间隔t 内的死亡人数=dN(t)t 这里 b 和 d 分别是出生率和死亡率。得到一个初始模型为 N(t+t)−N(t) = (b−d)N (t) t （1）

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

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