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

Скопировать в буфер библиографическое описание
Кудрявцев, В. Б. Компьютерное моделирование логических процессов : учебник для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 143 с. — (Высшее образование). — ISBN 978-5-534-15336-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/589091 (дата обращения: 17.01.2026).
Добавить в избранное

2-е изд., пер. и доп. Учебник для вузов

Обложка книги КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИХ ПРОЦЕССОВ Кудрявцев В. Б., Гасанов Э. Э., Подколзин А. С. Учебник

Подробнее

2026

Страниц 143

Обложка Мягкая

Гриф Гриф УМО ВО

ISBN 978-5-534-15336-1

Библиографическое описание

Кудрявцев, В. Б. Компьютерное моделирование логических процессов : учебник для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 143 с. — (Высшее образование). — ISBN 978-5-534-15336-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/589091 (дата обращения: 17.01.2026).

Серия

Высшее образование

Тематика/подтематика

Компьютерные и информационные науки / Фундаментальные и теоретические основы информатики

Дисциплины

Моделирование процессов и систем , Математическое моделирование систем и процессов , Моделирование систем и процессов , Компьютерное моделирование процессов , Компьютерное моделирование систем и процессов , Программные средства компьютерного моделирования , Компьютерное моделирование производственных и технологических процессов , Компьютерное моделирование в профессиональной деятельности , Компьютерное моделирование инфокоммуникационных сетей и систем , Системный анализ и компьютерное моделирование сложных систем , компьютерное моделирование технологических процессов , Компьютерное моделирование и обработка данных социально-гуманитарных исследований , Компьютерное моделирование и планирование , Основы компьютерного моделирования технологических процессов , Компьютерное моделирование: задачи и решения , Компьютерное моделирование и базы данных , Логическое моделирование , Моделирование процессов в расчетах на ЭВМ , Компьютерное моделирование процессов и систем , Профессиональное программирование и компьютерное моделирование , Моделирование систем и процессов (МСП) , Теория интеллектуальных систем управления , Компьютерное моделирование информационных процессов , Компьютерное моделирование и анализ бизнес-процессов , Компьютерное моделирование технологических и производственных процессов , Математические модели и методология компьютерного моделирования , Теория интеллектуальных систем обработки информации , Компьютерное моделирование в технических и информационных системах , Компьютерное моделирование и оптимизация в инфокоммуникационных системах и сетях , Компьютерное моделирование и оптимизация технологических процессов , Моделирование логических систем , Компьютерное моделирование логических процессов

Показать все

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