В данном разделе представлены массовые открытые онлайн-курсы (МООК). МООК является дополнительным учебным материалом.
Обращаем Ваше внимание, что изучение МООК доступно любому зарегистрированному пользователю, однако МООК не является частью образовательных программ повышения квалификации.
Изучение материалов МООК не предполагает выдачу удостоверений, сертификатов или иных документов, подтверждающих их изучение.
Подавляющее большинство языков программирования являются императивными: программист описывает компьютеру последовательность шагов, приводящую к решению задачи. Но есть и другие парадигмы программирования, набирающие популярность, например, функциональная. Мы же рассмотрим ещё одну парадигму: программирование в ограничениях. В ней программист описывает компьютеру не как решать задачу, а что подразумевается под итоговым решением. А специальная программа — солвер — решает задачу под наши требования. Мы разберём основные элементы программирования в ограничениях, знание которых будет полезно будущим или уже состоявшимся программистам, независимо от используемого ими основного языка.
Результаты обучения:
- Знать типичные подходы к решению классических задач выполнимости и оптимизации, разработанные в рамках программирования в ограничениях.
- Знать методы поиска решений в различных типах пространств поиска.
- Уметь выполнять сравнительный анализ и обосновывать выбор модели и средства формализации решений.
- Уметь построить модель заданной предметной области с использованием изученных средств представления знаний.
- Уметь применить методы решения задач, разработанные в рамках программирования в ограничениях в своей проблемной области.
- Уметь находить адекватную формализацию задач оптимизации с учетом механизмов и концепций, изученных в процессе освоения курса.