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

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

Bibliografiske detaljer
Hovedforfatter:	Кудрявцев В. Б. Валерий Борисович
Andre forfattere:	Гасанов Э. Э. Эльяр Эльдарович, Подколзин А. С. Александр Сергеевич
Summary:	URL: https://urait.ru/bcode/568295 (дата обращения: 27.08.2025). Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Udgivet:	Москва, Юрайт, 2025
Udgivelse:	2-е изд.
Serier:	Высшее образование
Fag:	Фундаментальные и теоретические основы информатики Компьютерные и информационные науки Моделирование процессов и систем Математическое моделирование систем и процессов Моделирование систем и процессов Компьютерное моделирование процессов Компьютерное моделирование систем и процессов Программные средства компьютерного моделирования Компьютерное моделирование производственных и технологических процессов Компьютерное моделирование в профессиональной деятельности Компьютерное моделирование инфокоммуникационных сетей и систем Системный анализ и компьютерное моделирование сложных систем компьютерное моделирование технологических процессов Компьютерное моделирование и обработка данных социально-гуманитарных исследований Компьютерное моделирование и планирование Основы компьютерного моделирования технологических процессов Компьютерное моделирование: задачи и решения Компьютерное моделирование и базы данных Логическое моделирование Моделирование процессов в расчетах на ЭВМ Компьютерное моделирование процессов и систем Профессиональное программирование и компьютерное моделирование Моделирование систем и процессов (МСП) Теория интеллектуальных систем управления Компьютерное моделирование информационных процессов Компьютерное моделирование и анализ бизнес-процессов Компьютерное моделирование технологических и производственных процессов Математические модели и методология компьютерного моделирования Теория интеллектуальных систем обработки информации Компьютерное моделирование в технических и информационных системах Компьютерное моделирование и оптимизация в инфокоммуникационных системах и сетях Компьютерное моделирование и оптимизация технологических процессов Моделирование логических систем Компьютерное моделирование логических процессов
Online adgang:	https://urait.ru/bcode/568295
Format:	MixedMaterials Electronisk Bog

Internet

https://urait.ru/bcode/568295