Об этом курсе

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

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

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

от партнера

Placeholder

EIT Digital

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

Неделя
1

Неделя 1

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

SAT/SMT basics, SAT examples

3 ч. на завершение
6 видео ((всего 58 мин.)), 2 материалов для самостоятельного изучения, 3 тестов
Неделя
2

Неделя 2

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

SMT applications

18 ч. на завершение
4 видео ((всего 33 мин.)), 2 материалов для самостоятельного изучения, 7 тестов
Неделя
3

Неделя 3

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

Theory and algorithms for CNF-based SAT

3 ч. на завершение
6 видео ((всего 56 мин.))
Неделя
4

Неделя 4

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

Theory and algorithms for SAT/SMT

1 ч. на завершение
6 видео ((всего 55 мин.))

Рецензии

Лучшие отзывы о курсе AUTOMATED REASONING: SATISFIABILITY

Посмотреть все отзывы

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

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