Подробное описание документа

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

Читать онлайн Аннотация

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

УДК

519.6

Предметные рубрики

• Вычислительная математика - Учебники и пособия
• Вычислительные машины - Применение для инженерных расчетов

Общее кол-во в фондах

1 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Читальный зал ауд.305л, УЛК, ауд. 305л