离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。
제공자:
베이징 대학교
강의 계획 - 이 강좌에서 배울 내용
주
1완료하는 데 2시간 필요
数理逻辑：基本概念
12 videos (Total 89 min), 1 reading, 1 quiz
12개의 동영상
01-课程介绍1m
02-正式内容之前：形式化及其极限18m
03-正式内容之前：悖论、版画、卡农11m
04-数理逻辑介绍4m
05-什么是命题5m
06-排中律5m
07-命题符号化6m
08-逻辑联结词（上）6m
09-逻辑联结词（下）7m
10-命题公式6m
11-真值函数6m
12-命题形式化6m
1개의 읽기 자료
课件10m
1개 연습문제
测验#16m
주
2완료하는 데 3시간 필요
数理逻辑：命题逻辑及形式系统
13 videos (Total 142 min), 1 reading, 1 quiz
13개의 동영상
13-重言式6m
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개의 읽기 자료
课件10m
1개 연습문제
测验#28m
주
3완료하는 데 2시간 필요
数理逻辑：谓词逻辑及形式系统
7 videos (Total 78 min), 1 reading, 1 quiz
7개의 동영상
27-数理逻辑-谓词公式9m
28-数理逻辑-谓词公式永真式13m
29-数理逻辑-谓词演算形式系统FC9m
30-数理逻辑-全称引入规则及存在消除规则8m
31-数理逻辑-自然推理系统14m
32-数理逻辑-ND中的定理证明6m
1개의 읽기 자료
课件10m
1개 연습문제
测验#314m
주
4완료하는 데 3시간 필요
集合论：集合代数
9 videos (Total 128 min), 1 reading, 1 quiz
9개의 동영상
33-集合论与无限18m
34-集合基本概念15m
35-子集合13m
36-集合基本运算23m
37-集合族及运算17m
38-归纳定义10m
39-自然数的定义11m
40-归纳原理7m
41-数学归纳法11m
1개의 읽기 자료
课件10m
1개 연습문제
测验#414m
4.7
38개의 리뷰67%
이 강좌를 수료한 후 새로운 경력 시작하기
40%
이 강좌를 통해 확실한 경력상 이점 얻기
25%
급여 인상 또는 승진하기
최상위 리뷰
very good brief introduction for further study in computer science, especially in algorithm
강사
陈斌
副教授北京大学
베이징 대학교 정보
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 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.
환불 규정은 어떻게 되나요?
재정 지원을 받을 수 있나요?
궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.
Coursera는 세계 최고의 교육에 대한 보편적인 접근 기회를 제공하며,
최고의 대학 및 기관들과 제휴하여 온라인 강좌를 제공합니다.
© 2019 Coursera Inc. All rights reserved.
