ISBN:ISBN 978-5-4493-5159-3 (т. 3), ISBN 978-5-4493-5157-9
Тираж:200 экз.
Монография
Аннотация:Предлагаемая книга написана на основе специальных курсов ``Компьютерный решатель математических задач'', ``Интеллектуальные системы'', читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова.
Книга рассчитана на студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Ключевые слова: исчисление высказываний, исчисление предикатов, компьютерный решатель математических задач.