Об этом курсе

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

Рецензии

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

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

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

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.

    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

  • You will be eligible for a full refund until two weeks after your payment date, or (for courses that have just launched) until two weeks after the first session of the course begins, whichever is later. You cannot receive a refund once you’ve earned a Course Certificate, even if you complete the course within the two-week refund period. See our full refund policy.

  • Yes, Coursera provides financial aid to learners who cannot afford the fee. Apply for it by clicking on the Financial Aid link beneath the "Enroll" button on the left. You’ll be prompted to complete an application and will be notified if you are approved. Learn more.

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