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