Name: Теория интеллектуальных систем
Author: Эльяр Гасанов

аннотация

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

Книга публикуется в авторской орфографии и пунктуации

Авторы

Эльяр Гасанов

Кудрявцев Валерий Борисович — д.ф.-м.н., профессор, заведующий кафедрой математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН и РАЕН. Гасанов Эльяр Эльдарович — д.ф.-м.н., профессор кафедры математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН. Подколзин Александр Сергеевич — д.ф.-м.н., профессор кафедры математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН.

Александр Подколзин

Кудрявцев Валерий Борисович — д.ф.-м.н., профессор, заведующий кафедрой математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН и РАЕН. Гасанов Эльяр Эльдарович — д.ф.-м.н., профессор кафедры математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН. Подколзин Александр Сергеевич — д.ф.-м.н., профессор кафедры математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН.

Валерий Кудрявцев

Кудрявцев Валерий Борисович — д.ф.-м.н., профессор, заведующий кафедрой математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН и РАЕН. Гасанов Эльяр Эльдарович — д.ф.-м.н., профессор кафедры математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН. Подколзин Александр Сергеевич — д.ф.-м.н., профессор кафедры математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН.