이 강좌에 대하여

최근 조회 3,988
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
유동적 마감일
일정에 따라 마감일을 재설정합니다.
중급 단계
완료하는 데 약 11시간 필요
영어
자막: 영어
공유 가능한 수료증
완료 시 수료증 획득
100% 온라인
지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.
유동적 마감일
일정에 따라 마감일을 재설정합니다.
중급 단계
완료하는 데 약 11시간 필요
영어
자막: 영어

제공자:

EIT 디지털  로고

EIT 디지털

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

1

1

완료하는 데 3시간 필요

Module 1: Computational Tree Logic

완료하는 데 3시간 필요
6개 동영상 (총 61분), 3 개의 읽기 자료, 4 개의 테스트
6개의 동영상
Introduction13m
Semantics of CTL13m
Model Checking CTL9m
The Until Operator12m
The Always Operator9m
3개의 읽기 자료
Script 1 and 2.110m
Script 2.2 and 2.310m
Script 2.420m
4개 연습문제
Formulate for yourself6m
Test your understanding of CTL semantics14m
Check your understanding of CTL20m
Model checking eventually, always and until22m
2

2

완료하는 데 2시간 필요

Discrete Time Markov Chains

완료하는 데 2시간 필요
5개 동영상 (총 49분), 2 개의 읽기 자료, 5 개의 테스트
5개의 동영상
Evolution in Time13m
Transient probabilities9m
State classification5m
Steady-state probabilities12m
2개의 읽기 자료
Script 3.1 and 3.210m
Script 3.310m
5개 연습문제
Evolution of DTMCs6m
Compute transient probabilities10m
Classification of DTMC states True or False?14m
State classification16m
Steady-state computation12m
3

3

완료하는 데 2시간 필요

Probabilistic Computational Tree Logic

완료하는 데 2시간 필요
5개 동영상 (총 36분), 3 개의 읽기 자료, 6 개의 테스트
5개의 동영상
Model checking and the Next operator7m
Time-bounded Until6m
Backwards computation4m
Unbounded Until8m
3개의 읽기 자료
Script: 4.1 and 4.210m
Script: 4.3.1 and 4.3.225m
Script 4.3.310m
6개 연습문제
PCTL Syntax8m
Checking PCTL next4m
Test your understanding of PCTL Until6m
Checking time-bounded until16m
Checking unbounded until10m
Test your understanding of PCTL6m
4

4

완료하는 데 2시간 필요

Continuous Time Markov Chains

완료하는 데 2시간 필요
5개 동영상 (총 57분), 2 개의 읽기 자료, 6 개의 테스트
5개의 동영상
Generator matrix11m
Steady-state probabilities11m
Triple Modular Redundancy11m
Uniformisation12m
2개의 읽기 자료
Script: 5.1 and 5.220m
Script: 5.315m
6개 연습문제
Generator matrix6m
Test your understanding of CTMCs6m
Steady state probability in CTMCs10m
Identifying BSCCs12m
Test your understanding of Uniformisation6m
Uniformisation12m

자주 묻는 질문

  • 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.
  • 수료증을 구매하면 성적 평가 과제를 포함한 모든 강좌 자료에 접근할 수 있습니다. 강좌를 완료하면 전자 수료증이 성취도 페이지에 추가되며, 해당 페이지에서 수료증을 인쇄하거나 LinkedIn 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.

  • 결제일 기준 2주 후 또는 (방금 시작된 강좌의 경우) 강좌의 첫 번째 세션이 시작된 후 2주 후 중에서 나중에 도래하는 날짜까지 전액 환불받을 수 있습니다. 2주 환불 기간 이내에 강좌를 완료했더라도 강좌 수료증을 받았으면 환불받을 수 없습니다. 전체 환불 정책을 확인하세요.

  • 예, Coursera는 수업료를 지급하기 어려운 학습자들에게 재정 지원을 제공합니다. 왼쪽의 "등록" 버튼 아래에 있는 재정 지원 링크를 클릭하면 재정 지원을 신청할 수 있습니다. 이 링크를 클릭하면 신청서를 작성하라는 메시지가 나타나며, 신청서가 승인되면 통지를 받게 됩니다. 자세히 알아보세요.

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