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