Об этом курсе

Недавно просмотрено: 9,077

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

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

100% онлайн

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

Гибкие сроки

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

Промежуточный уровень

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

Английский

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

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

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

100% онлайн

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

Гибкие сроки

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

Промежуточный уровень

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

Английский

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

от партнера

Логотип EIT Digital

EIT Digital

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

Неделя
1

Неделя 1

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

SAT/SMT basics, SAT examples

1 ч. на завершение
6 видео ((всего 58 мин.)), 2 материалов для самостоятельного изучения, 3 тестов
6 видео
Introduction to SAT7мин
SMT syntax and tools11мин
Eight queens problem9мин
Binary Arithmetic: addition10мин
Binary Arithmetic: multiplication12мин
2 материала для самостоятельного изучения
Examples from the lecture10мин
Eight queens formula in SMT syntax10мин
3 практического упражнения
Truth table2мин
Carries in binary addition2мин
Binary multiplication2мин
Неделя
2

Неделя 2

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

SMT applications

17 ч. на завершение
4 видео ((всего 33 мин.)), 2 материалов для самостоятельного изучения, 7 тестов
4 видео
Solving Sudoku7мин
Scheduling8мин
Bounded model checking8мин
2 материала для самостоятельного изучения
Sudoku formula in SMT 2 format10мин
Introduction10мин
7 практического упражнения
Rectangle fitting2мин
Scheduling2мин
Bounded Model Checking2мин
Filling trucks for a magic factory
A sudoku variant
Job scheduling
Program correctness
Неделя
3

Неделя 3

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

Theory and algorithms for CNF-based SAT

1 ч. на завершение
6 видео ((всего 56 мин.))
6 видео
Resolution10мин
Example of resolution8мин
DPLL10мин
Transforming DPLL to resolution9мин
CDCL basics11мин
CDCL optimizations6мин
5 практического упражнения
Resolution2мин
apply resolution2мин
DPLL2мин
DPLL to resolution2мин
CDCL basics
Неделя
4

Неделя 4

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

Theory and algorithms for SAT/SMT

1 ч. на завершение
6 видео ((всего 55 мин.))
6 видео
The Tseitin transfomation10мин
Introduction to the Simplex method7мин
Optimizing by the Simplex method11мин
Checking feasibility by the Simplex method8мин
The Simplex method and SMT8мин
4 практического упражнения
Transforming a propositional formula to CNF
The Tseitin transfomation
Slack form
Optimizing by the Simplex method

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

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

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

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

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

  • Этот курс не приравнивается к зачету в университетах, однако некоторые вузы принимают сертификаты на свое усмотрение. Дополнительную информацию уточняйте в своем деканате. Онлайн-дипломы и сертификаты Mastertrack™ от Coursera позволяют получить зачеты.

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