离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。
от партнера
离散数学概论 Discrete Mathematics Generality
Пекинский университет
Об этом курсе
Недавно просмотрено: 20,166
Карьерные результаты учащихся
67%
начал новую карьеру, пройдя эти курсы
40%
получил значимые преимущества в карьере благодаря этому курсу
25%
стал больше зарабатывать или получил повышение
Карьерные результаты учащихся
67%
начал новую карьеру, пройдя эти курсы
40%
получил значимые преимущества в карьере благодаря этому курсу
25%
стал больше зарабатывать или получил повышение
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Начальный уровень
Прибл. 23 часа на выполнение
Китайский (упрощенное письмо)
Субтитры: Китайский (упрощенное письмо)
от партнера
Пекинский университет
Peking University is determined to make its education openly accessible to students in China and around the world. With over 3000 faculty members, Peking University offers excellence in teaching and learning.
Программа курса: что вы изучите
2 ч. на завершение
数理逻辑：基本概念
2 ч. на завершение
12 видео ((всего 89 мин.)), 1 материал для самостоятельного изучения, 1 тест
12 видео
01-课程介绍1мин
02-正式内容之前：形式化及其极限18мин
03-正式内容之前：悖论、版画、卡农11мин
04-数理逻辑介绍4мин
05-什么是命题5мин
06-排中律5мин
07-命题符号化6мин
08-逻辑联结词（上）6мин
09-逻辑联结词（下）7мин
10-命题公式6мин
11-真值函数6мин
12-命题形式化6мин
1 материал для самостоятельного изучения
课件10мин
1 практическое упражнение
测验#16мин
3 ч. на завершение
数理逻辑：命题逻辑及形式系统
3 ч. на завершение
13 видео ((всего 142 мин.)), 1 материал для самостоятельного изучения, 1 тест
13 видео
13-重言式6мин
14-逻辑等价式和逻辑蕴涵式17мин
15-代入原理和替换原理5мин
16-证明逻辑等价式和逻辑蕴涵式13мин
17-范式及基本术语7мин
18-求范式的一般步骤10мин
19-主范式14мин
20-联结词集完备性10мин
21-形式系统和证明、演绎7мин
22-命题演算形式系统PC9мин
23-PC中的定理证明7мин
24-三个元定理15мин
25-定理判定问题15мин
1 материал для самостоятельного изучения
课件10мин
1 практическое упражнение
测验#28мин
2 ч. на завершение
数理逻辑：谓词逻辑及形式系统
2 ч. на завершение
7 видео ((всего 78 мин.)), 1 материал для самостоятельного изучения, 1 тест
7 видео
26-数理逻辑-个体、谓词和量词14мин
27-数理逻辑-谓词公式9мин
28-数理逻辑-谓词公式永真式13мин
29-数理逻辑-谓词演算形式系统FC9мин
30-数理逻辑-全称引入规则及存在消除规则8мин
31-数理逻辑-自然推理系统14мин
32-数理逻辑-ND中的定理证明6мин
1 материал для самостоятельного изучения
课件10мин
1 практическое упражнение
测验#314мин
3 ч. на завершение
集合论：集合代数
3 ч. на завершение
9 видео ((всего 128 мин.)), 1 материал для самостоятельного изучения, 1 тест
9 видео
33-集合论与无限18мин
34-集合基本概念15мин
35-子集合13мин
36-集合基本运算23мин
37-集合族及运算17мин
38-归纳定义10мин
39-自然数的定义11мин
40-归纳原理7мин
41-数学归纳法11мин
1 материал для самостоятельного изучения
课件10мин
1 практическое упражнение
测验#414мин
Рецензии
4.7
Лучшие отзывы о курсе 离散数学概论 DISCRETE MATHEMATICS GENERALITY
от партнера LZSep 7, 2017
以文科大學畢業生的角度，撐過前兩週的內容(許多東西要背)，後面會比較好理解。\n\n課程優點：概念涵蓋範圍廣、內容重點豐富、老師講解清楚\n\n課程缺點：有問題要多靠自己(發問從來沒有得到任何staff的回覆)\n\n課程期待：課程設計能再多元一點
от партнера JJOct 10, 2019
1.5倍速播放的时候感觉速度差不多可以，但是课程设计有一些问题，课后quiz（尤其是第十周左右之后）出现了不少比例的课上未讲解的内容，导致比较难做，并且课程提供的参考书籍没有涉及相关方面，导致学习有一定的困难，如果这里有所改进会更好。
от партнера ZWJun 29, 2017
very good brief introduction for further study in computer science, especially in algorithm
Часто задаваемые вопросы
Когда я получу доступ к лекциям и заданиям?
Зарегистрировавшись на сертификацию, вы получите доступ ко всем видео, тестам и заданиям по программированию (если они предусмотрены). Задания по взаимной оценке сокурсниками можно сдавать и проверять только после начала сессии. Если вы проходите курс без оплаты, некоторые задания могут быть недоступны.
Что я получу, оплатив сертификацию?
Оплатив сертификацию, вы получите доступ ко всем материалам курса, включая оцениваемые задания. После успешного прохождения курса на странице ваших достижений появится электронный сертификат. Оттуда его можно распечатать или прикрепить к профилю LinkedIn. Просто ознакомиться с содержанием курса можно бесплатно.
Какие правила возврата средств?
Можно ли получить финансовую помощь?
Остались вопросы? Посетите Центр поддержки учащихся.