이 강좌에 대하여

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

제공자:

Placeholder

EIT 디지털

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

1

1

완료하는 데 2시간 필요

Basic modal formulas

완료하는 데 2시간 필요
6개 동영상 (총 78분), 2 개의 읽기 자료, 1 개의 테스트
6개의 동영상
Hennessy-Milner logic11m
Identities for HM-logic11m
Dualities6m
Fixed point operators18m
Regular formulas26m
2개의 읽기 자료
Book exercises10m
Book exercises20m
1개 연습문제
Basic Modal Formulas30m
2

2

완료하는 데 2시간 필요

Advanced modal formulas

완료하는 데 2시간 필요
5개 동영상 (총 59분), 1 개의 읽기 자료, 1 개의 테스트
5개의 동영상
Alternating fixed points11m
Peterson's algorithm revisited10m
Translation to a Boolean Equation System (BES)12m
Solving a Boolean Equation System11m
1개의 읽기 자료
Book exercises10m
1개 연습문제
Advanced modal formulas30m

자주 묻는 질문

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