이 강좌에 대하여

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

제공자:

Placeholder

EIT 디지털

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

1

1

완료하는 데 1시간 필요

Sequential behaviour

완료하는 데 1시간 필요
7개 동영상 (총 59분)
7개의 동영상
Actions, multi-actions, alternative and sequential composition9m
Process axioms11m
Recursive process specifications8m
Processes and actions with data; the conditional operator7m
The sum operator8m
The alarm clock revisited11m
1개 연습문제
Sequential behaviour30m
2

2

완료하는 데 2시간 필요

Data types

완료하는 데 2시간 필요
8개 동영상 (총 103분)
8개의 동영상
Specification of Peano numbers11m
Specification of efficient numbers16m
Specification of lists8m
Functions, sets and bags13m
Structured types13m
Quantifiers9m
Knuth's dancing links18m
1개 연습문제
Data Types30m
3

3

완료하는 데 1시간 필요

Parallel behaviour

완료하는 데 1시간 필요
3개 동영상 (총 37분)
3개의 동영상
The hiding operator7m
Peterson's mutual exclusion algorithm16m
1개 연습문제
Parallel Behaviour30m

자주 묻는 질문

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