Об этом курсе
4.7
Оценки: 157
Рецензии: 35
100% онлайн

100% онлайн

Начните сейчас и учитесь по собственному графику.
Гибкие сроки

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.
Начальный уровень

Начальный уровень

Часов на завершение

Прибл. 41 часа на выполнение

Предполагаемая нагрузка: 3-4 hours/week...
Доступные языки

Китайский (упрощенное письмо)

Субтитры: Китайский (упрощенное письмо)
100% онлайн

100% онлайн

Начните сейчас и учитесь по собственному графику.
Гибкие сроки

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.
Начальный уровень

Начальный уровень

Часов на завершение

Прибл. 41 часа на выполнение

Предполагаемая нагрузка: 3-4 hours/week...
Доступные языки

Китайский (упрощенное письмо)

Субтитры: Китайский (упрощенное письмо)

Программа курса: что вы изучите

Неделя
1
Часов на завершение
2 ч. на завершение

数理逻辑:基本概念

...
Reading
12 videos (Total 89 min), 1 материал для самостоятельного изучения, 1 тест
Video12 видео
02-正式内容之前:形式化及其极限18мин
03-正式内容之前:悖论、版画、卡农11мин
04-数理逻辑介绍4мин
05-什么是命题5мин
06-排中律5мин
07-命题符号化6мин
08-逻辑联结词(上)6мин
09-逻辑联结词(下)7мин
10-命题公式6мин
11-真值函数6мин
12-命题形式化6мин
Reading1 материал для самостоятельного изучения
课件10мин
Quiz1 практическое упражнение
测验#16мин
Неделя
2
Часов на завершение
3 ч. на завершение

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

...
Reading
13 videos (Total 142 min), 1 материал для самостоятельного изучения, 1 тест
Video13 видео
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мин
Reading1 материал для самостоятельного изучения
课件10мин
Quiz1 практическое упражнение
测验#28мин
Неделя
3
Часов на завершение
2 ч. на завершение

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

...
Reading
7 videos (Total 78 min), 1 материал для самостоятельного изучения, 1 тест
Video7 видео
27-数理逻辑-谓词公式9мин
28-数理逻辑-谓词公式永真式13мин
29-数理逻辑-谓词演算形式系统FC9мин
30-数理逻辑-全称引入规则及存在消除规则8мин
31-数理逻辑-自然推理系统14мин
32-数理逻辑-ND中的定理证明6мин
Reading1 материал для самостоятельного изучения
课件10мин
Quiz1 практическое упражнение
测验#314мин
Неделя
4
Часов на завершение
3 ч. на завершение

集合论:集合代数

...
Reading
9 videos (Total 128 min), 1 материал для самостоятельного изучения, 1 тест
Video9 видео
34-集合基本概念15мин
35-子集合13мин
36-集合基本运算23мин
37-集合族及运算17мин
38-归纳定义10мин
39-自然数的定义11мин
40-归纳原理7мин
41-数学归纳法11мин
Reading1 материал для самостоятельного изучения
课件10мин
Quiz1 практическое упражнение
测验#414мин

Преподаватель

Avatar

陈斌

副教授
北京大学

О Peking University

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. Founded in 1898, Peking University (PKU) was the first national comprehensive university in China. For the past 115 years, with its hundreds of thousands of outstanding alumni, Peking University has made prominent contributions in the humanities and sciences to further China's prosperity and progress....

Часто задаваемые вопросы

  • Зарегистрировавшись на сертификацию, вы получите доступ ко всем видео, тестам и заданиям по программированию (если они предусмотрены). Задания по взаимной оценке сокурсниками можно сдавать и проверять только после начала сессии. Если вы проходите курс без оплаты, некоторые задания могут быть недоступны.

  • Оплатив сертификацию, вы получите доступ ко всем материалам курса, включая оцениваемые задания. После успешного прохождения курса на странице ваших достижений появится электронный сертификат. Оттуда его можно распечатать или прикрепить к профилю LinkedIn. Просто ознакомиться с содержанием курса можно бесплатно.

Остались вопросы? Посетите Центр поддержки учащихся.