К содержимому
learnspaceYOUR NEXT CHAPTER
ПРОСТРАНСТВО ОБУЧЕНИЯ
ГлавнаяКаталог курсовМоё обучениеCoursera

Знания без границ

Учитесь у лучших университетов и компаний мира.

Открыть Coursera
Интеграция
Пространство университета
Моё пространствоСтраница курса
↵
ЯЛичный кабинетСтудент
© 2026 LearnSpaceКаждый день — возможность узнать больше.Помощь
离散数学概论 Discrete Mathematics Generality · LearnSpace
Назад в каталог
courseraПрограммирование

离散数学概论 Discrete Mathematics Generality

Курс от Peking University
Начальный≈ 23.2 чКитайский (Китай)
О курсеНавыкиПрограммаПреподаватели

О курсе

离散数学是计算机科学的基础理论,离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功,离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法,介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念,介绍离散数学基本概念和空间信息技术之间的联系与结合,培养学生理解和掌握离散数学基本概念,采用形式化方法分析问题,并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。

Навыки, которые вы освоите

Computational LogicGraph TheoryTheoretical Computer ScienceDeductive ReasoningNetwork ModelLogical ReasoningComputational ThinkingComputer ScienceGeospatial Information and TechnologyAlgorithmsApplied MathematicsMathematics and Mathematical ModelingAlgebra

Программа курса

13 модулей · 131 учебных материалов

01数理逻辑:基本概念14 материалов

课程介绍

01-课程介绍Видео

第一周:数理逻辑:基本概念

02-正式内容之前:形式化及其极限Видео03-正式内容之前:悖论、版画、卡农Видео04-数理逻辑介绍Видео05-什么是命题Видео

Учитесь у экспертов

陈斌

副教授

离散数学概论 Discrete Mathematics Generality
В каталоге вашей программы

Инвестируйте в себя

Новые знания — в удобное для вас время.

Начать на Coursera

Обучение откроется на Coursera
в новой вкладке

Обучение на Coursera

≈ 23.2 ч

13 модулей

Язык: Китайский (Китай)

Часть программы вашего университета
06-排中律Видео
07-命题符号化Видео
08-逻辑联结词(上)Видео
09-逻辑联结词(下)Видео
10-命题公式Видео
11-真值函数Видео
12-命题形式化Видео
测验#1Задание
课件Чтение
02数理逻辑:命题逻辑及形式系统 15 материалов

第二周:数理逻辑:命题逻辑及形式系统

13-重言式Видео14-逻辑等价式和逻辑蕴涵式Видео15-代入原理和替换原理Видео16-证明逻辑等价式和逻辑蕴涵式Видео17-范式及基本术语Видео18-求范式的一般步骤Видео19-主范式Видео20-联结词集完备性Видео21-形式系统和证明、演绎Видео22-命题演算形式系统PCВидео23-PC中的定理证明Видео24-三个元定理Видео25-定理判定问题Видео测验#2Задание课件Чтение
03数理逻辑:谓词逻辑及形式系统9 материалов

第三周:数理逻辑:谓词逻辑及形式系统

26-数理逻辑-个体、谓词和量词Видео27-数理逻辑-谓词公式Видео28-数理逻辑-谓词公式永真式Видео29-数理逻辑-谓词演算形式系统FCВидео30-数理逻辑-全称引入规则及存在消除规则Видео31-数理逻辑-自然推理系统Видео32-数理逻辑-ND中的定理证明Видео测验#3Задание课件Чтение
04集合论:集合代数11 материалов

第四周:集合论:集合代数

33-集合论与无限Видео34-集合基本概念Видео35-子集合Видео36-集合基本运算Видео37-集合族及运算Видео38-归纳定义Видео39-自然数的定义Видео40-归纳原理Видео41-数学归纳法Видео测验#4Задание课件Чтение
05集合论:集合代数9 материалов

第五周:集合论:关系基本概念

42-有序组Видео43-笛卡尔积Видео44-关系定义Видео45-关系运算Видео46-关系合成运算Видео47-关系基本特性Видео48-关系特性定理Видео测验#5Задание课件Чтение
06集合论:特殊关系及函数11 материалов

第六周:集合论:特殊关系及函数

49-等价关系Видео50-等价关系与划分Видео51-划分之间的关系Видео52-划分运算Видео53-序关系Видео54-序关系中的特殊元素Видео55-函数Видео56-函数合成Видео57-特殊函数类Видео测验#6Задание课件Чтение
07图论:图的基本概念9 материалов

第七周:图论:图的基本概念

58-图的定义Видео59-图的基本概念Видео60-度和正则图Видео61-子图与同构图Видео62-路径与连通性Видео63-连通性Видео64-欧拉图与哈密顿图Видео测验#7Задание课件Чтение
08图论:特殊图8 материалов

第八周:图论:特殊图

65-图的矩阵表示Видео66-二分图Видео67-二分图的匹配Видео68-平面图Видео69-树Видео70-树的应用Видео测验#8Задание课件Чтение
09抽象代数11 материалов

第九周:抽象代数

71-引言Видео72-代数结构Видео73-幺元Видео74-零元Видео75-逆元Видео76-可约元素Видео77-同构与同态Видео78-同余关系Видео79-群环域Видео测验#9Задание课件Чтение
10形式语言与自动机:基本概念11 материалов

第十周:形式语言与自动机:基本概念

80-语言及研究方向Видео81-形式语言Видео82-短语结构语法Видео83-语言及语法表示Видео84-形式语法分类Видео85-语法分析Видео86-BNF范式Видео87-语法图Видео88-正则语法Видео测验#10Задание课件Чтение
11形式语言与自动机:有限状态机11 материалов

第十一周:形式语言与自动机:有限状态机

89-有限状态机Видео90-状态图Видео91-泵引理Видео92-机器同余Видео93-商机器Видео94-商机器的性质Видео95-机器化简Видео96-带输出的机器Видео97-程序实现状态机Видео测验#11Задание课件Чтение
12形式语言与自动机:图灵机与计算理论11 материалов

第十二周:形式语言与自动机:图灵机与计算理论

98-图灵机Видео99-图灵机例子Видео100-图灵机变种Видео101-识别与判定Видео102-哥德尔编码Видео103-通用图灵机Видео104-停机问题Видео105-哥德尔不完备定理Видео106-不可判定问题Видео测验#12Задание课件Чтение
13期末考试1 материалов

期末考试

期末考试Задание