Предлагаемая книга написана на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова.
Книга рассчитана на студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики. (Подробнее)