Компьютерное моделирование логических процессов, учебник для вузов

Bibliographische Detailangaben
1. Verfasser: Кудрявцев В. Б. Валерий Борисович
Weitere Verfasser: Гасанов Э. Э. Эльяр Эльдарович, Подколзин А. С. Александр Сергеевич
Zusammenfassung:URL: https://urait.ru/bcode/568295 (дата обращения: 27.08.2025).
Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Veröffentlicht: Москва, Юрайт, 2025
Ausgabe:2-е изд.
Schriftenreihe:Высшее образование
Schlagworte:
Online-Zugang:https://urait.ru/bcode/568295
Format: MixedMaterials Elektronisch Buch