КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИХ ПРОЦЕССОВ 2-е изд., пер. и доп. Учебник для вузов
![]() |
Серия:Высшее образование Автор:В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин. Издательство:Юрайт Страниц:143 Год:2024 Обложка:Мягкий переплет Размер:70x100/16 SKU:RU1987994 ISBN:9785534153361 Наша цена:US $62.00
Отправляется через 16-24 дня
|
Описание
Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.©2024 Troyka Online All rights reserved.