离散数学数理逻辑.pptVIP

离散数学

DiscreteMathematics;课程简介

课程名称：离散数学

英文名称：DiscreteMathematics

离散数学：离散数学是现代数学的一个重要分支，是计算机科学的核心课程。以研究离散量的结构和相互间的关系为主要目标，其研究对象是有限个或无限个元素。离散数学与计算机科学中的数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等课程紧密相关。是一门重要的根底课程。;教学内容：

数理逻辑、集合论、代数结构、图论;;逻辑学〔logic)

是一门研究思维形式及思维规律的科学。

数理逻辑〔mathematicallogic)

是用数学的方法来研究人类推理过程的一门数学学科。其显著特征是符号化和形式化，即把逻辑所涉及的“概念、判断、推理”用符号来表示，用公理体系来刻划,并基于符号串形式的演算来描述推理过程的一般规律。;1、命题与真值

〔1〕判断结果唯一的陈述句

〔2〕命题的真值：判断的结果

〔3〕真值的取值：真与假

〔4〕真命题与假命题;例判断以下句子是否为命题.;2、命题的分类

〔1〕简单命题〔也称原子命题〕

〔2〕复合命题;二、联结词与复合命题;10;11;12;13;14;15;16;17;18;第二节命题公式及其赋值;20;３．合式公式的层次;二、公式的赋值〔或解释〕与真值表;23;24;25;26;27;第一章习题课;29;30;31;32