Компьютерное моделирование логических процессов 2-е изд., пер. и доп. Учебник для вузов. Валерий Борисович Кудрявцев
. Высшее образование
Компьютерное моделирование логических процессов 2-е изд., пер. и доп. Учебник для вузов
Год выпуска 2024
isbn 9785534153361
Автор произведения Валерий Борисович Кудрявцев
Серия Высшее образование
Издательство ЮРАЙТ
Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.