Об этом курсе

Недавно просмотрено: 1,528
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Средний уровень
Прибл. 5 часов на выполнение
Английский
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Средний уровень
Прибл. 5 часов на выполнение
Английский

от партнера

Placeholder

EIT Digital

Программа курса: что вы изучите

Неделя
1

Неделя 1

1 ч. на завершение

Sequential behaviour

1 ч. на завершение
7 видео ((всего 59 мин.))
7 видео
Actions, multi-actions, alternative and sequential composition9мин
Process axioms11мин
Recursive process specifications8мин
Processes and actions with data; the conditional operator7мин
The sum operator8мин
The alarm clock revisited11мин
1 практическое упражнение
Sequential behaviour30мин
Неделя
2

Неделя 2

2 ч. на завершение

Data types

2 ч. на завершение
8 видео ((всего 103 мин.))
8 видео
Specification of Peano numbers11мин
Specification of efficient numbers16мин
Specification of lists8мин
Functions, sets and bags13мин
Structured types13мин
Quantifiers9мин
Knuth's dancing links18мин
1 практическое упражнение
Data Types30мин
Неделя
3

Неделя 3

1 ч. на завершение

Parallel behaviour

1 ч. на завершение
3 видео ((всего 37 мин.))
3 видео
The hiding operator7мин
Peterson's mutual exclusion algorithm16мин
1 практическое упражнение
Parallel Behaviour30мин

Часто задаваемые вопросы

Остались вопросы? Посетите Центр поддержки учащихся.