Содержат перечень основных теоретических положений и примеры постановки и решения оптимизационных задач в средах программирования Паскаль-АВС, математического пакета MATHCAD и электронных таблиц MS EXCEL.

Содержат краткие теоретические сведения, необходимые для выполнения лабораторных работ, и практический материал для решения задач линейного программирования с использованием возможностей математического пакета MathCad и табличного процессора Excel.

Актуальность темы исследования. Проблема выполнимости в таких формах, как задача максимальной выполнимости (MAX-SAT), остается сложной задачей. Наиболее успешные подходы к решению таких задач используют форму систематического поиска по дереву.