Компьютерное моделирование логических процессов 2-е изд., пер. и доп. Учебник для вузов. Валерий Борисович Кудрявцев. Скачать в формате fb2, epub, doc, txt. Newlib. NEWLIB.NET

Компьютерное моделирование логических процессов 2-е изд., пер. и доп. Учебник для вузов - Валерий Борисович Кудрявцев

Автор: Валерий Борисович Кудрявцев
Издательство: ЮРАЙТ
Серия: Высшее образование
Жанр произведения:
Год издания: 2024
isbn: 9785534153361

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