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

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

Отзывы

У этой книги ещё нет отзывов, оставьте свой отзыв первым!

Авторы

Александр Сергеевич Подколзин

Валерий Борисович Кудрявцев

Эльяр Эльдарович Гасанов

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

... Показать большеСвернуть