4 LINGO函数 说明: 有了前几节的基础知识,再加上本节的内容,就能够借助于 LINGO建立并求解复杂的优化模型。 函数类型(9种): 1.基本运算符:算术运算符、逻辑运算符、关系运算符 2.数学函数:三角函数和常规的数学函数 3.金融函数:两种金融函数 4.概率函数:大量概率相关的函数 5.变量界定函数:定义变量的取值范围 6.集操作函数:对集的操作提供帮助 7.集循环函数:遍历集的元素,执行一定的操作的函数 8.数据输入输出函数:允许模型和外部数据源相联系,进行数据的输入输出 9.辅助函数:各种杂类函数

9 ． 1 集合的概念和表示方法 9．2 集合间的关系和特殊集合 9．3集合的运算 9．4 集合的图形表示法 9．5 集合运算的性质和证明 9．6 有限集合的基数 9．7 集合论公理系统

线性代数第一讲 概论 线性代数是一门普通的基础理论课,它被广泛地应用于科技的各个领域, 尤其在计算机日益普及的今天,求解线性方程组等问题已成为研究科技问题经 常遇到的课题。 线性代数重点研究应用科学中常用的矩阵法,线性方程组的基本知识,另 外行列式也是一个有力的工具,在讨论上述问题时都要用到。 本门课程的特点,既有繁琐和技巧性很强的数字计算,又有抽象的概念和 逻辑推理,在学习中,需要特别加强这两个方面的训练

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

在上一章我们已经看到,从事某一活动的各方如能通 力台作,常常可以获得更大的总收益(或受到更小的总损 失)。本节主要讨论在这种合作中应当如何分配收益(或分 摊损失),这一问题如果处理不当,合作显然是无法实现的。 先让我们来分析一个具体实例

什么是选举 所谓选举,其实质就是在评选人对候选人先后(优劣 次序排队的基础上,根据某一事先规定的选举规则决定出候 选人的一个先后次序,即得出选举结果。现用={,2,…,n表 示评选人集合,用有限集A=wxy表示候选人集合,用 >=,y)表示评选人认 为x优于y,用(x>y)表示选举结果为x优于y并用p表示评选 人的排序,p表示选举结果

多种商品的情况 假设有两种商品,基准年价格分别为P、P2,目前价格分别 为P1,P2。可采用多种平均方法来定义:

第一节命题与联结词 第二节公式与解释 第三节范式 第四节公式恒真性的判定 第五节公式的蕴涵 第六节形式演绎

§1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法