Наши издания
Программирование наборов ответовБеляев С. А., Родионов С. В. Представлены материалы по дисциплине «Логическое программирование» по программированию наборов ответов (answer set programming — ASP). Рассматриваются особенности языка программирования и вопросы разработки текста программ и формирования на их основе стабильных моделей из правил и фактов, решающих поставленную задачу. Рассматриваются варианты решения нескольких NP-полных задач. Приводятся основы программирования наборов ответов с использованием ограничений. Описываются механизмы вывода и доказательства, используемые в ASP. Предназначено для студентов, обучающихся по направлениям «Программная инженерия» и «Прикладная математика и информатика». |
ISBN 978-5-7629-2660-7 УДК 004.432(07) + 510.755(07) ББК З 973.2–018я7 + В 12я7 |