Важная информация
Резюме
离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
Программа
- Week 1 - 数理逻辑：基本概念
- Week 2 - 数理逻辑：命题逻辑及形式系统
- Week 3 - 数理逻辑：谓词逻辑及形式系统
- Week 4 - 集合论：集合代数
- Week 5 - 集合论：集合代数
- Week 6 - 集合论：特殊关系及函数
- Week 7 - 图论：图的基本概念
- Week 8 - 图论：特殊图
- Week 9 - 抽象代数
- Week 10 - 形式语言与自动机：基本概念
- Week 11 - 形式语言与自动机：有限状态机
- Week 12 - 形式语言与自动机：图灵机与计算理论
- Week 13 - 期末考试
Пользователи
陈斌
副教授
北京大学
Разработчик
L'université de Pékin est déterminée à rendre son enseignement accessible aux étudiants de Chine et du monde entier. Avec plus de 3 000 membres du corps enseignant, l'université de Pékin offre l'excellence dans l'enseignement et l'apprentissage. Fondée en 1898, l'université de Pékin (PKU) a été la première université nationale complète de Chine.
Depuis 115 ans, grâce à ses centaines de milliers d'anciens étudiants exceptionnels, l'Université de Pékin a apporté une contribution majeure dans les domaines des sciences humaines et des sciences, contribuant ainsi à la prospérité et au progrès de la Chine.
Платформа
Coursera - это цифровая компания, предлагающая массовые открытые онлайн-курсы, основанные учителями компьютеров Эндрю Нгом и Стэнфордским университетом Дафни Коллер, расположенные в Маунтин-Вью, штат Калифорния.
Coursera работает с ведущими университетами и организациями, чтобы сделать некоторые из своих курсов доступными в Интернете, и предлагает курсы по многим предметам, включая: физику, инженерию, гуманитарные науки, медицину, биологию, социальные науки, математику, бизнес, информатику, цифровой маркетинг, науку о данных и другие предметы.
