Skip to content 
el cat en
База данных: ELS Urait
Page 1, Results: 1
Отмеченные записи: 0
1.
Подробнее
Кудрявцев, Валерий Борисович.
Компьютерное моделирование логических процессов [Электронный ресурс] : учебник для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 143 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей . - ISBN 978-5-534-15336-1
URL: https://urait.ru/bcode/488541 (дата обращения: 12.03.2024).
ББК 22.18я73
Кл.слова (ненормированные):
Информатика -- Технические науки и информационные технологии -- Моделирование процессов и систем -- Математическое моделирование систем и процессов -- Моделирование систем и процессов -- Компьютерное моделирование процессов -- Компьютерное моделирование систем и процессов -- Программные средства компьютерного моделирования -- Компьютерное моделирование производственных и технологических процессов -- Компьютерное моделирование в профессиональной деятельности -- Компьютерное моделирование инфокоммуникационных сетей и систем -- системный Анализ и Компьютерное моделирование сложных систем -- компьютерное моделирование технологических процессов -- Компьютерное моделирование и обработка данных социально-гуманитарных исследований -- Компьютерное моделирование и планирование -- Основы компьютерного моделирования технологических процессов -- Компьютерное моделирование: задачи и решения -- Компьютерное моделирование и базы данных -- Логическое моделирование -- Моделирование процессов в расчетах на ЭВМ -- Компьютерное моделирование процессов и систем -- Профессиональное программирование и компьютерное моделирование -- Моделирование систем и процессов (МСП) -- Теория интеллектуальных систем управления -- Компьютерное моделирование информационных процессов -- Компьютерное моделирование и анализ бизнес-процессов -- Компьютерное моделирование технологических и производственных процессов -- Математические модели и методология компьютерного моделирования -- Теория интеллектуальных систем обработки информации -- Компьютерное моделирование в технических и информационных системах -- Компьютерное моделирование и оптимизация в инфокоммуникационных системах и сетях -- Компьютерное моделирование и оптимизация технологических процессов -- Моделирование логических систем -- Компьютерное моделирование логических процессов
Аннотация: Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Доп.точки доступа:
Гасанов, Эльяр Эльдарович
Подколзин, Александр Сергеевич
Кудрявцев, Валерий Борисович.
Компьютерное моделирование логических процессов [Электронный ресурс] : учебник для вузов / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 143 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей . - ISBN 978-5-534-15336-1
URL: https://urait.ru/bcode/488541 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Информатика -- Технические науки и информационные технологии -- Моделирование процессов и систем -- Математическое моделирование систем и процессов -- Моделирование систем и процессов -- Компьютерное моделирование процессов -- Компьютерное моделирование систем и процессов -- Программные средства компьютерного моделирования -- Компьютерное моделирование производственных и технологических процессов -- Компьютерное моделирование в профессиональной деятельности -- Компьютерное моделирование инфокоммуникационных сетей и систем -- системный Анализ и Компьютерное моделирование сложных систем -- компьютерное моделирование технологических процессов -- Компьютерное моделирование и обработка данных социально-гуманитарных исследований -- Компьютерное моделирование и планирование -- Основы компьютерного моделирования технологических процессов -- Компьютерное моделирование: задачи и решения -- Компьютерное моделирование и базы данных -- Логическое моделирование -- Моделирование процессов в расчетах на ЭВМ -- Компьютерное моделирование процессов и систем -- Профессиональное программирование и компьютерное моделирование -- Моделирование систем и процессов (МСП) -- Теория интеллектуальных систем управления -- Компьютерное моделирование информационных процессов -- Компьютерное моделирование и анализ бизнес-процессов -- Компьютерное моделирование технологических и производственных процессов -- Математические модели и методология компьютерного моделирования -- Теория интеллектуальных систем обработки информации -- Компьютерное моделирование в технических и информационных системах -- Компьютерное моделирование и оптимизация в инфокоммуникационных системах и сетях -- Компьютерное моделирование и оптимизация технологических процессов -- Моделирование логических систем -- Компьютерное моделирование логических процессов
Аннотация: Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Доп.точки доступа:
Гасанов, Эльяр Эльдарович
Подколзин, Александр Сергеевич
Page 1, Results: 1