About this Course

2,101 recent views
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 5 hours to complete
English
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 5 hours to complete
English

Offered by

Placeholder

EIT Digital

Syllabus - What you will learn from this course

Week
1

Week 1

1 hour to complete

Sequential behaviour

1 hour to complete
7 videos (Total 59 min)
7 videos
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 practice exercise
Sequential behaviour30m
Week
2

Week 2

2 hours to complete

Data types

2 hours to complete
8 videos (Total 103 min)
8 videos
Specification of Peano numbers11m
Specification of efficient numbers16m
Specification of lists8m
Functions, sets and bags13m
Structured types13m
Quantifiers9m
Knuth's dancing links18m
1 practice exercise
Data Types30m
Week
3

Week 3

1 hour to complete

Parallel behaviour

1 hour to complete
3 videos (Total 37 min)
3 videos
The hiding operator7m
Peterson's mutual exclusion algorithm16m
1 practice exercise
Parallel Behaviour30m

Frequently Asked Questions

More questions? Visit the Learner Help Center.