《01命题逻辑.pptVIP

 离 散 数 学 绪论 1.何谓离散数学 离散数学是随着计算机科学的发展而形成的一门工具性课程。它主要是研究离散量的结构及相互之间的关系，同时离散数学不仅重视存在性问题的研究，更重视可行性问题的研究。 2.开设离散数学的目的 奠定计算机科学必备的数学知识，提高学生逻辑思维的能力。 3.离散数学所包含的内容 目 录 第一篇 数理逻辑 第1章 命题逻辑 第2章 一阶逻辑 第二篇 集合论 第3章 集合 第4章 关系 第三篇 代数结构 第四篇 图论 学习本课程的具体要求 一、课前预习， 按时上课； 二、集中精力， 手脑并用； 三、课后复习， 完成作业。 考核的方式、要求、标准 本课程以总评成绩为最终考核成绩，总评成绩为百分制，满分为100分。总评成绩由2部分组成，其中平时成绩占40%，期末考试成绩占60%。平时成绩和期末考试成绩的考核方式、要求、标准分别如下： 一、平时成绩 平时成绩由三部分组成：考勤按全院统一要求，占总评成绩的15%，即15分；随堂测验（平时测验）占总评成绩的10%，即10分；作业占总评成绩的15%，即