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

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

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

Курс с экзаменом

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

Ознакомиться

Подробнее

2024

Страниц 143

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

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

ISBN 978-5-534-15336-1

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

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

Серия

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

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

Технические науки и информационные технологии / Информатика

Дисциплины

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

Показать все

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