このコースについて
28,764 最近の表示

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

初級レベル

約41時間で修了

推奨:3-4 hours/week...

中国語(簡体)

字幕:中国語(簡体)

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

初級レベル

約41時間で修了

推奨:3-4 hours/week...

中国語(簡体)

字幕:中国語(簡体)

このCourseを受講している学習者は

  • Machine Learning Engineers
  • Research Assistants
  • Data Engineers
  • Data Scientists
  • Researchers

シラバス - 本コースの学習内容

1
2時間で修了

数理逻辑:基本概念

12件のビデオ (合計89分), 1 reading, 1 quiz
12件のビデオ
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 分
2
3時間で修了

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

13件のビデオ (合計142分), 1 reading, 1 quiz
13件のビデオ
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 分
3
2時間で修了

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

7件のビデオ (合計78分), 1 reading, 1 quiz
7件のビデオ
27-数理逻辑-谓词公式9 分
28-数理逻辑-谓词公式永真式13 分
29-数理逻辑-谓词演算形式系统FC9 分
30-数理逻辑-全称引入规则及存在消除规则8 分
31-数理逻辑-自然推理系统14 分
32-数理逻辑-ND中的定理证明6 分
1件の学習用教材
课件10 分
1の練習問題
测验#314 分
4
3時間で修了

集合论:集合代数

9件のビデオ (合計128分), 1 reading, 1 quiz
9件のビデオ
34-集合基本概念15 分
35-子集合13 分
36-集合基本运算23 分
37-集合族及运算17 分
38-归纳定义10 分
39-自然数的定义11 分
40-归纳原理7 分
41-数学归纳法11 分
1件の学習用教材
课件10 分
1の練習問題
测验#414 分
4.7
43件のレビューChevron Right

67%

コース終了後に新しいキャリアをスタートした

40%

コースが具体的なキャリアアップにつながった

25%

昇給や昇進につながった

离散数学概论 Discrete Mathematics Generality からの人気レビュー

by ZWJun 30th 2017

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

講師

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のプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

さらに質問がある場合は、受講者向けヘルプセンターにアクセスしてください。