Über diesen Kurs
12,397 recent views

100 % online

Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.

Flexible Fristen

Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.

Stufe „Anfänger“

Ca. 41 Stunden zum Abschließen

Empfohlen: 3-4 hours/week...

Chinesisch (vereinfacht)

Untertitel: Chinesisch (vereinfacht)

100 % online

Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.

Flexible Fristen

Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.

Stufe „Anfänger“

Ca. 41 Stunden zum Abschließen

Empfohlen: 3-4 hours/week...

Chinesisch (vereinfacht)

Untertitel: Chinesisch (vereinfacht)

Lehrplan - Was Sie in diesem Kurs lernen werden

Woche
1
2 Stunden zum Abschließen

数理逻辑:基本概念

...
12 Videos (Gesamt 89 min), 1 Lektüre, 1 Quiz
12 Videos
02-正式内容之前:形式化及其极限18m
03-正式内容之前:悖论、版画、卡农11m
04-数理逻辑介绍4m
05-什么是命题5m
06-排中律5m
07-命题符号化6m
08-逻辑联结词(上)6m
09-逻辑联结词(下)7m
10-命题公式6m
11-真值函数6m
12-命题形式化6m
1 Lektüre
课件10m
1 praktische Übung
测验#16m
Woche
2
3 Stunden zum Abschließen

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

...
13 Videos (Gesamt 142 min), 1 Lektüre, 1 Quiz
13 Videos
14-逻辑等价式和逻辑蕴涵式17m
15-代入原理和替换原理5m
16-证明逻辑等价式和逻辑蕴涵式13m
17-范式及基本术语7m
18-求范式的一般步骤10m
19-主范式14m
20-联结词集完备性10m
21-形式系统和证明、演绎7m
22-命题演算形式系统PC9m
23-PC中的定理证明7m
24-三个元定理15m
25-定理判定问题15m
1 Lektüre
课件10m
1 praktische Übung
测验#28m
Woche
3
2 Stunden zum Abschließen

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

...
7 Videos (Gesamt 78 min), 1 Lektüre, 1 Quiz
7 Videos
27-数理逻辑-谓词公式9m
28-数理逻辑-谓词公式永真式13m
29-数理逻辑-谓词演算形式系统FC9m
30-数理逻辑-全称引入规则及存在消除规则8m
31-数理逻辑-自然推理系统14m
32-数理逻辑-ND中的定理证明6m
1 Lektüre
课件10m
1 praktische Übung
测验#314m
Woche
4
3 Stunden zum Abschließen

集合论:集合代数

...
9 Videos (Gesamt 128 min), 1 Lektüre, 1 Quiz
9 Videos
34-集合基本概念15m
35-子集合13m
36-集合基本运算23m
37-集合族及运算17m
38-归纳定义10m
39-自然数的定义11m
40-归纳原理7m
41-数学归纳法11m
1 Lektüre
课件10m
1 praktische Übung
测验#414m
4.7
38 BewertungenChevron Right

67%

nahm einen neuen Beruf nach Abschluss dieser Kurse auf

40%

ziehen Sie für Ihren Beruf greifbaren Nutzen aus diesem Kurs

25%

erhalten Sie eine Gehaltserhöhung oder Beförderung

Top-Bewertungen

von ZWJun 30th 2017

very good brief introduction for further study in computer science, especially in algorithm

Dozent

Avatar

陈斌

副教授
北京大学

Über 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....

Häufig gestellte Fragen

  • Sobald Sie sich für ein Zertifikat angemeldet haben, haben Sie Zugriff auf alle Videos, Quizspiele und Programmieraufgaben (falls zutreffend). Aufgaben, die von anderen Kursteilnehmern bewertet werden, können erst dann eingereicht und überprüft werden, wenn Ihr Unterricht begonnen hat. Wenn Sie sich den Kurs anschauen möchten, ohne ihn zu kaufen, können Sie womöglich auf bestimmte Aufgaben nicht zugreifen.

  • Wenn Sie ein Zertifikat erwerben, erhalten Sie Zugriff auf alle Kursmaterialien, einschließlich bewerteter Aufgaben. Nach Abschluss des Kurses wird Ihr elektronisches Zertifikat zu Ihrer Seite „Errungenschaften“ hinzugefügt – von dort können Sie Ihr Zertifikat ausdrucken oder es zu Ihrem LinkedIn Profil hinzufügen. Wenn Sie nur lesen und den Inhalt des Kurses anzeigen möchten, können Sie kostenlos als Gast an dem Kurs teilnehmen.

Haben Sie weitere Fragen? Besuchen Sie das Hilfe-Center für Teiln..