10．1 二元关系 10．2 关系矩阵和关系图 10．3 关系的逆、合成、限制和象 10．4 关系的性质 10．5 关系的闭包 10．6 等价关系和划分 10．7 相容关系和覆盖 10．8 偏序关系

由已知条件、已知条件展开的数学逻辑叙述(推理)过程,及由此得 到的结论这三个要素组成完整数学意义的陈述。隐去或部分隐去真实、 确定的完整数学意义陈述的构成要素,要求应答者构造

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

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

第1节 紧致性定理及其应用 第2节 可判定的理论 第3节 只含后继的自然数模型 第4节 包含后继和序的自然数模型 第5节 普莱斯伯格算术模型

第1节 可表示性 第2节 语法的算术化 第3节 不动点引理和递归定理 第4节 不可定义性，不完全性和不可判定性 第1节 可证性条件 第2节 第二可证性条件 (D2) 的证明 第3节 第三可证性条件 (D3) 的证明 第4节 哥德尔第二不完全性定理 第5节 自然的不可判定语句

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

第1节 可靠性定理 第2节 完全性定理 第3节 自然推演系统的可靠性和完全性 第4节 紧致性定理及其应用

课程教学大纲从教学实施层面，规定了课程在专业教学计划中的地位和作用、教学的基本任务和要求、培养目标的达成和检验、课程的前后逻辑关系等，是保障教学运行与教学质量的重要依据。本教学大纲依据山西大同大学2019版本科专业人才培养方案制定,包含了数学与应用数学、统计学及经济统计学三个专业，由数学与统计学院承担教学任务的课程教学大纲，每个专业39门课程

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