Название: Компьютерное моделирование логических процессов
Автор(ы): В.Б. Кудрявцев, Э.Э. Гасанов, А.С. Подколзин
Издательство: Юрайт
Год: 2024
Страниц: 144
Формат: PDF
Размер: 13 Мб
Язык: русский
Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова.
Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач.
Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.