• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式，及其应用 • 命题逻辑推理

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

一、介绍博弈论 （一）概念，什么是博弈论 1．概念：博弈论Ｇａｍｅ Ｔｈｅｏｒｙ，又称对策论，是使用严谨的数学模型研究冲突对抗条件下最优决策问题的理论，是研究竞争的逻辑和规律的数学分支。简单地说，博弈论是研究决策主体在给定信息结构下如何决策以最大化自己的效用，以及不同决策主体之间决策的均衡

◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

数值模拟是依据被模拟对象的数学或逻辑模型,利用计算机进行实验的一种技术.已成为与理论分析,实验室实验并列的重要研究方法

用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。 代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 可满足性问题与消解法

第一节 关系运算与逻辑运算 第二节 用if语句设计选择结构程序 第三节 用switch语句设计多分支结构 第四节 应用实例

第一章 古算题·逻辑·游戏·竞赛 第二章 几何·图形 第三章 啊哈！灵机一动 第四章 概率·运筹·对策 第五章 幻方 第六章 递推·循环·回归

1 理解确界定理、区间套定理、 柯西收敛准则，有限覆盖定 理、聚点定理、致密性定理 、单调有界定理及其相互推 证、应用。 2 培养严密的逻辑推理能力