Об этом курсе

Недавно просмотрено: 3,187

Сертификат, ссылками на который можно делиться с другими людьми

Получите сертификат по завершении

100% онлайн

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

Гибкие сроки

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

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

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

Английский

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

Сертификат, ссылками на который можно делиться с другими людьми

Получите сертификат по завершении

100% онлайн

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

Гибкие сроки

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

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

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

Английский

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

от партнера

Логотип EIT Digital

EIT Digital

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

Неделя
1

Неделя 1

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

Basic modal formulas

2 ч. на завершение
6 видео ((всего 78 мин.)), 2 материалов для самостоятельного изучения, 1 тест
6 видео
Hennessy-Milner logic11мин
Identities for HM-logic11мин
Dualities6мин
Fixed point operators18мин
Regular formulas26мин
2 материала для самостоятельного изучения
Book exercises10мин
Book exercises20мин
1 практическое упражнение
Basic Modal Formulas14мин
Неделя
2

Неделя 2

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

Advanced modal formulas

1 ч. на завершение
5 видео ((всего 59 мин.)), 1 материал для самостоятельного изучения, 1 тест
5 видео
Alternating fixed points11мин
Peterson's algorithm revisited10мин
Translation to a Boolean Equation System (BES)12мин
Solving a Boolean Equation System11мин
1 материал для самостоятельного изучения
Book exercises10мин
1 практическое упражнение
Advanced modal formulas12мин

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

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

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

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

  • Да, Coursera предоставляет финансовую помощь учащимся, которые не могут оплатить обучение. Чтобы подать заявление, перейдите по ссылке 'Финансовая помощь' слева под кнопкой 'Зарегистрироваться' и заполните форму. Если его примут, вы получите уведомление. Подробнее

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