このコースについて

17,478 最近の表示

受講生の就業成果

67%

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

40%

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

25%

昇給や昇進につながった
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
初級レベル
約27時間で修了
中国語(簡体)

講師

受講生の就業成果

67%

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

40%

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

25%

昇給や昇進につながった
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
初級レベル
約27時間で修了
中国語(簡体)

提供:

Placeholder

北京大学(Peking University)

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

コンテンツの評価Thumbs Up90%(1,144 件の評価)Info
1

1

2時間で修了

数理逻辑:基本概念

2時間で修了
12件のビデオ (合計89分), 1 学習用教材, 1 個のテスト
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の練習問題
测验#130 分
2

2

3時間で修了

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

3時間で修了
13件のビデオ (合計142分), 1 学習用教材, 1 個のテスト
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の練習問題
测验#230 分
3

3

2時間で修了

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

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

4

3時間で修了

集合论:集合代数

3時間で修了
9件のビデオ (合計128分), 1 学習用教材, 1 個のテスト
9件のビデオ
34-集合基本概念15 分
35-子集合13 分
36-集合基本运算23 分
37-集合族及运算17 分
38-归纳定义10 分
39-自然数的定义11 分
40-归纳原理7 分
41-数学归纳法11 分
1件の学習用教材
课件10 分
1の練習問題
测验#430 分

レビュー

离散数学概论 DISCRETE MATHEMATICS GENERALITY からの人気レビュー

すべてのレビューを見る

よくある質問

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