About this Course

최근 조회 1,958

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

유동적 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

Basic logic and programming on a bachelor level.

완료하는 데 약 13시간 필요

영어

자막: 영어

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

유동적 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

Basic logic and programming on a bachelor level.

완료하는 데 약 13시간 필요

영어

자막: 영어

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

1

1

완료하는 데 1시간 필요

CTL model checking

완료하는 데 1시간 필요
5개 동영상 (총 44분)
5개의 동영상
Model Checking9m
Computation Tree Logic11m
Computation Tree Logic Algorithm10m
Computation Tree Logic Example7m
3개 연습문제
Size of state space10m
CTL equivalence10m
CTL example10m
2

2

완료하는 데 1시간 필요

BDDs part 1

완료하는 데 1시간 필요
4개 동영상 (총 33분)
4개의 동영상
Decision Trees7m
Decision Trees 29m
BDDs8m
3개 연습문제
Decision tree10m
Reduced ordered decision tree10m
ROBDD10m
3

3

완료하는 데 2시간 필요

BDDs part 2

완료하는 데 2시간 필요
4개 동영상 (총 35분)
4개의 동영상
BDD Algorithm9m
BDD algorithm 26m
BDD Algorithm Example7m
3개 연습문제
BDD quiz 120m
BDD quiz 220m
BDD algorithm30m
4

4

완료하는 데 9시간 필요

BDD based symbolic model checking

완료하는 데 9시간 필요
4개 동영상 (총 39분), 3 readings, 3 quizzes
4개의 동영상
An example: foxes and rabbits8m
Deadlock checking in a network10m
Networks, BMC, conclusions10m
3개의 읽기 자료
NuSMV source of foxes and rabbits problem10m
Introduction10m
Explanation packet switching networks and file describing routing function1시 10분
3개 연습문제
Problem 1: colored marbles1h
Problem 2: reaching equal values2h
Problem 3: deadlocks in packet switching networks4h

강사

강사의 이미지, Hans Zantema

Hans Zantema 

prof.dr.
Department of Mathematics and Computer Science
1,217명의 학습자
2 Courses

제공자:

EIT 디지털  로고

EIT 디지털

자주 묻는 질문

  • 강좌에 등록하면 바로 모든 비디오, 테스트 및 프로그래밍 과제(해당하는 경우)에 접근할 수 있습니다. 상호 첨삭 과제는 이 세션이 시작된 경우에만 제출하고 검토할 수 있습니다. 강좌를 구매하지 않고 살펴보기만 하면 특정 과제에 접근하지 못할 수 있습니다.

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

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