Личный кабинет
Подробное описание документа
Кудрявцев, В. Б. Компьютерное моделирование логических процессов : учебник для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 143 с. — (Высшее образование). — ISBN 978-5-534-15336-1.
Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
