Об этом курсе
4.6
Оценки: 8
Рецензии: 3
100% онлайн

100% онлайн

Начните сейчас и учитесь по собственному графику.
Гибкие сроки

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.
Продвинутый уровень

Продвинутый уровень

Часов на завершение

Прибл. 6 часа на выполнение

Предполагаемая нагрузка: 8 hours/week...
Доступные языки

Английский

Субтитры: Английский
100% онлайн

100% онлайн

Начните сейчас и учитесь по собственному графику.
Гибкие сроки

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.
Продвинутый уровень

Продвинутый уровень

Часов на завершение

Прибл. 6 часа на выполнение

Предполагаемая нагрузка: 8 hours/week...
Доступные языки

Английский

Субтитры: Английский

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

Неделя
1
Часов на завершение
3 ч. на завершение

Advanced modelling

We show how the behavior of simple programs and communication protocols can be modelled and analysed. Furthermore, we introduce the notion of a linear process: a simple normal form to which every behavior can be reduced. This normal form is the workhorse when it comes to the analysis of behavior. ...
Reading
8 видео ((всего 95 мин.)), 1 материал для самостоятельного изучения, 1 тест
Video8 видео
Modelling a parallel algorithm to calculate the GCD13мин
Linear process equations and linearisation14мин
Manipulating linear processes10мин
Parameterised boolean equation systems6мин
The alternating bit protocol revisited14мин
The sliding window protocol, or Tanenbaum’s bug20мин
Philips remote control standard 6, or the bounded retransmission protocol13мин
Reading1 материал для самостоятельного изучения
Book exercises45мин
Quiz1 практическое упражнение
Advanced modelling14мин
Неделя
2
Часов на завершение
1 ч. на завершение

Modelling guidelines

In this lecture you see various modelling techniques that can be used to keep the state space of your models small....
Reading
5 видео ((всего 50 мин.)), 1 тест
Video5 видео
Push versus poll4мин
Restrict the use of data10мин
Avoid parallelism among components5мин
Compositional design; specify external behaviour17мин
Quiz1 практическое упражнение
Modelling guidelines10мин

Преподаватель

Avatar

Jan Friso Groote

Full professor
Mathematics and Computer Science, Eindhoven University of Technology

О EIT Digital

EIT Digital is a pan-European education and research-based open innovation organization founded on excellence. Its mission is to foster digital technology innovation and entrepreneurial talent for economic growth and quality of life. By linking education, research and business, EIT Digital empowers digital top talents for the future. EIT Digital provides online "blended" Innovation and Entrepreneurship education to raise quality, increase diversity and availability of the top-level content provided by 20 reputable universities of technology around Europe. The universities all together deliver a unique blend of the best of technical excellence and entrepreneurial skills and mindset to digital engineers and entrepreneurs at all stages of their careers. The academic partners support Coursera’s bold vision to enable anyone, anywhere, to transform their lives by accessing the world’s best learning experience. This means that EIT Digital gradually shares parts of its entrepreneurial and academic education programmes to demonstrate its excellence and make it accessible to a much wider audience. EIT Digital’s online education portfolio can be used as part of blended education settings, in both Master and Doctorate programmes, and for professionals as a way to update their knowledge. EIT Digital offers an online programme in 'Internet of Things through Embedded Systems'. Achieving all certificates of the online courses and the specialization provides an opportunity to enroll in the on campus program and get a double degree. These are the courses in the online programme: ...

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

  • Зарегистрировавшись на сертификацию, вы получите доступ ко всем видео, тестам и заданиям по программированию (если они предусмотрены). Задания по взаимной оценке сокурсниками можно сдавать и проверять только после начала сессии. Если вы проходите курс без оплаты, некоторые задания могут быть недоступны.

  • Оплатив сертификацию, вы получите доступ ко всем материалам курса, включая оцениваемые задания. После успешного прохождения курса на странице ваших достижений появится электронный сертификат. Оттуда его можно распечатать или прикрепить к профилю LinkedIn. Просто ознакомиться с содержанием курса можно бесплатно.

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