桂林电子科技大学离散数学古天龙主讲视频教程

dfshz2012

课程名称: 桂林电子科技大学离散数学古天龙主讲视频教程+课件讲义 国家级精品课程

免费试看:   

下载地址：

游客， 下载地址需要支付 48下载币 才能浏览支付

课程简介:   

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

课程类型:理论课（含实验/实践）
课程属性:专业基础课/技术基础课
课程学时:80.0
学校:桂林电子科技大学
学科门类:工学
专业大类:计算机类
专业类:计算机科学与技术
适用专业:计算机科学与技术

授课老师：  

古天龙 教授
陈光喜 教授
常亮 教授

课程目录：  

第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
主编: 陈光喜 丁宣浩 古天龙
电子工业出版社