Теория интеллектуальных систем. Книга третья. Моделирование логических процессов

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