计算机应用专业离散数学.pdf

计算机应用专业离散数学.pdf 标题：计算机应用专业离散数学 描述：本课程是中央电大计算机应用专业计算机信息管理方向必修的专业基础课程，主要研究离散量结构及相互关系，是一门理论性较强，应用性较广的课程。掌握集合论、数理逻辑和图论等离散数学的基本概念和基本原理，为学习计算机专业各后续课程做好必要的知识准备。 标签：技术 离散数学是计算机应用专业的基础课程，主要研究离散量结构及相互关系。该课程结合计算机学科的特点，旨在为学生提供必要的数学工具和理论基础，以提高学生的抽象思维和逻辑推理能力，为从事计算机的应用提供必要的描述工具和理论基础。 本课程的考核说明包括考核说明及实施要求、考核内容和要求三个部分。考核依据是电大计算机应用专业“离散数学课程教学大纲”，主要考核学生对离散数学（集合论、数理逻辑和图论）的有关基本概念的掌握，对基本原理及基本运算的运用。 考核形式包括形成性考核和终结性考核两个部分。形成性考核占总成绩的20%，以课程作业的形式进行；终结性考核即期末考试，占总成绩的80%。总成绩为100分，60分及格。 期末考试实行全国统一闭卷考核，试卷满分为100。根据本课程的考核说明，由中央电大统一命题，统一评分标准，统一考试时间（考试时间为120分钟）。关于期末考核命题，要求考核基本概念、基本原理和基本运算。 知识点： 1. 集合论 * 集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集 * 集合的交、并、差、补等运算及其运算律 * 序偶与迪卡尔积 2. 数理逻辑 * 命题逻辑：命题、联结词、复合命题、命题公式与解释、真值表 * 谓词逻辑：谓词、量词、谓词公式、谓词逻辑的应用 3. 图论 * 图的定义、图的表示方法、图的遍历、图的连通性 * 图的最短路径、最小生成树、拓扑排序 考核要求： * 了解集合论、数理逻辑和图论的基本概念 * 掌握集合论、数理逻辑和图论的基本运算和公式 * 了解集合论、数理逻辑和图论的应用 * 掌握集合论、数理逻辑和图论的推理和证明方法 本资源摘要信息旨在为计算机应用专业的学生和教师提供一个详细的考核说明和知识点，帮助学生更好地理解和掌握离散数学的基本概念和基本原理，并为从事计算机的应用提供必要的描述工具和理论基础。