Об этом курсе

Недавно просмотрено: 4 195
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
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

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

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

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