課程信息

16,731 次近期查看

學生職業成果

67%

完成這些課程後已開始新的職業生涯

40%

通過此課程獲得實實在在的工作福利

25%

加薪或升職
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
初級
完成時間大約為23 小時
中文(簡體)
字幕:中文(簡體)

學生職業成果

67%

完成這些課程後已開始新的職業生涯

40%

通過此課程獲得實實在在的工作福利

25%

加薪或升職
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
初級
完成時間大約為23 小時
中文(簡體)
字幕:中文(簡體)

講師

提供方

北京大学 徽標

北京大学

教學大綱 - 您將從這門課程中學到什麼

內容評分Thumbs Up90%(1,112 個評分)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 個練習
测验#16分鐘
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 個練習
测验#28分鐘
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 個練習
测验#314分鐘
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 個練習
测验#414分鐘

審閱

來自离散数学概论 DISCRETE MATHEMATICS GENERALITY的熱門評論

查看所有評論

常見問題

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.

    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

  • You will be eligible for a full refund until two weeks after your payment date, or (for courses that have just launched) until two weeks after the first session of the course begins, whichever is later. You cannot receive a refund once you’ve earned a Course Certificate, even if you complete the course within the two-week refund period. See our full refund policy.

  • Yes, Coursera provides financial aid to learners who cannot afford the fee. Apply for it by clicking on the Financial Aid link beneath the "Enroll" button on the left. You’ll be prompted to complete an application and will be notified if you are approved. Learn more.

還有其他問題嗎?請訪問 學生幫助中心