离散数学1-1,1-2.pptVIP

课程简介 ◆离散数学，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程，是整个计算机学科的专业基础课。 ◆离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般地是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。 ◆离散数学是随着计算机科学的发展而逐步建立的，它形成于七十年代初期，是一门新兴的工具性学科。 离散数学的应用 ◆关系型数据库的设计（关系代数） ◆表达式解析（树） ◆编译技术、程序设计语言（代数结构） ◆人工智能、自动推理、机器证明（数理逻辑） ◆网络路由算法（图论） ◆游戏中的人工智能算法（图论、树、博弈论） ◆专家系统（集合论、数理逻辑—知识和推理规则的计算机表达） ◆软件工程—团队开发—时间和分工的优化（图论—网络、划分） ◆(各种)算法的构造、正确性的证明和效率的评估（离散数学的各分支） 教材 左孝凌，李为鉴，刘永才编著．离散数学．上海：上海科学技术文献出版社,1982 主要参考教材: 孙吉贵，杨凤杰，欧阳丹彤，李占山编著．离散数学．高等教育出版社，2002 学习要求 ◆本课程特点定义+定理+例题 ◆多做习题，认真独立完成作业 本课程主要内容 ◆第一篇 数理逻辑 命题逻辑、谓词逻辑 ◆第二篇 集合论 集合与关系、函数 ◆第三篇 代数系统 代数结构、格和布尔代数 ◆第四篇 图论 图论 第