离散数学

国家级

本课程研究离散量的数学结构、性质与相互关系,主要内容包括集合论、代数结构、图论、数理逻辑以及它们在计算机学科相关领域的应用。课程着重介绍了离散数学基础理论、离散问题建模、计算机求解方法和技术,是学习计算机科学相关课程的理论基础,更是从事计算机科学与理论研究必不可少的工具。

课程介绍

离散数学是现代数学的一个重要分支,是计算机科学中的基础理论,在计算机科学与技术及相关领域有着广泛的应用。它是计算机科学与技术及相关专业的一门核心基础课程,是许多其他后续课程,如数字电路、程序设计语言、数据结构、数据库、算法设计与分析、编译原理、操作系统、软件工程、计算机组成原理、人工智能、计算机网络、密码学等必不可少的先行课程。本课程是我校计算机科学与技术、信息管理与信息系统、信息安全、软件工程、...

教学单元
  • 第1章 集合
    • 01-01

      集合的概念及表示

    • 01-02

      特殊集合

    • 01-03

      集合的运算

    • 01-04

      计数问题

  • 第2章 关系
    • 02-01

      关系的定义与表示

    • 02-02

      关系的性质

    • 02-03

      关系的运算

    • 02-04

      特殊关系

  • 第3章 函数
    • 03-01

      函数的概念

    • 03-02

      函数的运算

  • 第4章 抽象代数
    • 04-01

      代数系统的基本概念

    • 04-02

      代数运算的性质

    • 04-03

      相互联系的代数系统

  • 第5章 典型的代数系统
    • 05-01

      半群和群

    • 05-02

      循环群与置换群

    • 05-03

      正规子群

    • 05-04

    • 05-05

      布尔代数

  • 第6章 图
    • 06-01

      图的概念

    • 06-02

      赋权图

    • 06-03

      欧拉图

    • 06-04

      哈密顿图

    • 06-05

      二部图

    • 06-06

      平面图

  • 第7章 树
    • 07-01

      无向树

    • 07-02

      有向树

  • 第8章 命题逻辑
    • 08-01

      命题逻辑的基本概念

    • 08-02

      命题逻辑公式

    • 08-03

      命题逻辑推理

  • 第9章 谓词逻辑
    • 09-01

      谓词逻辑的基本概念

    • 09-02

      谓词逻辑公式

    • 09-03

      谓词逻辑推理

    • 09-04

      总复习

教材
  • 主教材
    21世纪高等学校规划教材·计算机科学与技术:离散数学
    ISBN:

    9787302288206

    主编:

    古天龙,常亮 著

    清华大学出版社
  • 辅助教材
    高等学校规划教材:离散数学
    ISBN:

    9787121056543

    主编:

    陈光喜 丁宣浩 古天龙

    电子工业出版社
课程信息
课程类型:

理论课(含实验/实践)

课程属性:

专业基础课/技术基础课

课程学时:

80.0

学校:

桂林电子科技大学

学科门类:

工学

专业大类:

计算机类

专业类:

计算机科学与技术

适用专业:

计算机科学与技术

学习人数:

24528

评论数:

52

教学团队
  • 古天龙

    课程负责人

    教授

  • 陈光喜

    主讲教师

    教授

  • 常亮

    主讲教师

    教授

  • 徐周波

    主讲教师

    副教授

  • 谢春光

    主讲教师

    副教授

  • 危前进

    主讲教师

    副教授

  • 周小川

    主讲教师

    讲师

  • 孟瑜

    主讲教师

    副教授

  • 唐敏

    主讲教师

    讲师

  • 尤江蛟

    主讲教师

    工程师