이 강좌에 대하여

최근 조회 17,635

학습자 경력 결과

67%

가 이 강좌를 수료한 후 새로운 커리어를 시작함

40%

가 이 강좌를 통해 확실한 경력상 이점을 얻음

25%

가 급여 인상 또는 승진 성취
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
유동적 마감일
일정에 따라 마감일을 재설정합니다.
초급 단계
완료하는 데 약 27시간 필요
중국어 (간체자)

강사

학습자 경력 결과

67%

가 이 강좌를 수료한 후 새로운 커리어를 시작함

40%

가 이 강좌를 통해 확실한 경력상 이점을 얻음

25%

가 급여 인상 또는 승진 성취
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
유동적 마감일
일정에 따라 마감일을 재설정합니다.
초급 단계
완료하는 데 약 27시간 필요
중국어 (간체자)

제공자:

Placeholder

베이징 대학교

강의 계획 - 이 강좌에서 배울 내용

콘텐츠 평가Thumbs Up90%(1,144개의 평가)Info
1

1

완료하는 데 2시간 필요

数理逻辑:基本概念

완료하는 데 2시간 필요
12개 동영상 (총 89분), 1 개의 읽기 자료, 1 개의 테스트
12개의 동영상
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개 연습문제
测验#130m
2

2

완료하는 데 3시간 필요

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

완료하는 데 3시간 필요
13개 동영상 (총 142분), 1 개의 읽기 자료, 1 개의 테스트
13개의 동영상
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개 연습문제
测验#230m
3

3

완료하는 데 2시간 필요

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

완료하는 데 2시간 필요
7개 동영상 (총 78분), 1 개의 읽기 자료, 1 개의 테스트
7개의 동영상
27-数理逻辑-谓词公式9m
28-数理逻辑-谓词公式永真式13m
29-数理逻辑-谓词演算形式系统FC9m
30-数理逻辑-全称引入规则及存在消除规则8m
31-数理逻辑-自然推理系统14m
32-数理逻辑-ND中的定理证明6m
1개의 읽기 자료
课件10m
1개 연습문제
测验#330m
4

4

완료하는 데 3시간 필요

集合论:集合代数

완료하는 데 3시간 필요
9개 동영상 (총 128분), 1 개의 읽기 자료, 1 개의 테스트
9개의 동영상
34-集合基本概念15m
35-子集合13m
36-集合基本运算23m
37-集合族及运算17m
38-归纳定义10m
39-自然数的定义11m
40-归纳原理7m
41-数学归纳法11m
1개의 읽기 자료
课件10m
1개 연습문제
测验#430m

검토

离散数学概论 DISCRETE MATHEMATICS GENERALITY의 최상위 리뷰

모든 리뷰 보기

자주 묻는 질문

궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.