+7 495 744-00-12
По вопросам использования Образовательной платформы "Юрайт"
Email: help@urait.ru
КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИХ ПРОЦЕССОВ
Используют:
25
вузов
11
преподавателей
12
студентов
Избранное
бакалавриат
специалитет
магистратура
аспирантура
2 зачетных единицы
72 академ/часа
4 часа в неделю
Доступно к покупке
Оплаченный доступ к контенту предоставляется только на платформе, а также онлайн и офлайн в мобильном приложении
Оплаченный доступ к контенту
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
Скачивание контента в
PDF недоступно
PDF недоступно
Скачивание контента в PDF недоступно
- О курсе
- Программа курса
- Методика
О курсе
Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Базовый учебник
Серия
Высшее образование
Тематика/подтематика
Технические науки и информационные технологии / ИнформатикаДисциплины
Моделирование процессов и систем ,
Математическое моделирование систем и процессов ,
Моделирование систем и процессов ,
Компьютерное моделирование процессов ,
Компьютерное моделирование систем и процессов ,
Программные средства компьютерного моделирования ,
Компьютерное моделирование производственных и технологических процессов ,
Компьютерное моделирование в профессиональной деятельности ,
Компьютерное моделирование инфокоммуникационных сетей и систем ,
системный Анализ и Компьютерное моделирование сложных систем ,
компьютерное моделирование технологических процессов ,
Компьютерное моделирование и обработка данных социально-гуманитарных исследований ,
Компьютерное моделирование и планирование ,
Основы компьютерного моделирования технологических процессов ,
Компьютерное моделирование: задачи и решения ,
Компьютерное моделирование и базы данных ,
Логическое моделирование ,
Моделирование процессов в расчетах на ЭВМ ,
Компьютерное моделирование процессов и систем ,
Профессиональное программирование и компьютерное моделирование ,
Моделирование систем и процессов (МСП) ,
Теория интеллектуальных систем управления ,
Компьютерное моделирование информационных процессов ,
Компьютерное моделирование и анализ бизнес-процессов ,
Компьютерное моделирование технологических и производственных процессов ,
Математические модели и методология компьютерного моделирования ,
Теория интеллектуальных систем обработки информации ,
Компьютерное моделирование в технических и информационных системах ,
Компьютерное моделирование и оптимизация в инфокоммуникационных системах и сетях ,
Компьютерное моделирование и оптимизация технологических процессов ,
Моделирование логических систем ,
Компьютерное моделирование логических процессов
Направления подготовки/Специальности/Профессии
38.03.02 Менеджмент,
24.05.07 Самолето- и вертолетостроение,
01.03.02 Прикладная математика и информатика,
27.03.01 Стандартизация и метрология,
27.03.03 Системный анализ и управление,
27.04.01 Стандартизация и метрология,
28.03.02 Наноинженерия,
29.03.04 Технология художественной обработки материалов,
44.03.04 Профессиональное обучение (по отраслям),
38.03.06 Торговое дело,
43.03.03 Гостиничное дело,
25.05.05 Эксплуатация воздушных судов и организация воздушного движения,
27.04.02 Управление качеством,
37.04.01 Психология,
09.04.02 Информационные системы и технологии,
09.04.01 Информатика и вычислительная техника,
39.04.01 Социология,
38.04.02 Менеджмент,
38.04.01 Экономика,
09.04.04 Программная инженерия,
11.06.01 Электроника, радиотехника и системы связи,
15.03.01 Машиностроение,
01.05.01 Фундаментальные математика и механика,
02.03.01 Математика и компьютерные науки,
02.03.02 Фундаментальная информатика и информационные технологии,
02.04.01 Математика и компьютерные науки,
11.03.04 Электроника и наноэлектроника,
12.03.04 Биотехнические системы и технологии,
13.03.02 Электроэнергетика и электротехника,
23.03.03 Эксплуатация транспортно-технологических машин и комплексов,
15.03.05 Конструкторско-технологическое обеспечение машиностроительных производств,
15.03.06 Мехатроника и робототехника,
15.04.04 Автоматизация технологических процессов и производств,
19.04.03 Продукты питания животного происхождения,
09.03.03 Прикладная информатика,
10.05.05 Безопасность информационных технологий в правоохранительной сфере,
24.05.03 Испытание летательных аппаратов,
12.03.01 Приборостроение,
38.03.05 Бизнес-информатика,
27.03.02 Управление качеством,
09.03.02 Информационные системы и технологии,
15.04.05 Конструкторско-технологическое обеспечение машиностроительных производств,
12.04.01 Приборостроение,
09.03.04 Программная инженерия,
01.03.04 Прикладная математика,
09.03.01 Информатика и вычислительная техника,
25.03.02 Техническая эксплуатация авиационных электросистем и пилотажно-навигационных комплексов,
15.03.04 Автоматизация технологических процессов и производств,
25.05.02 Техническая эксплуатация и восстановление электросистем и пилотажно-навигационных комплексов боевых летательных аппаратов,
27.04.04 Управление в технических системах,
27.04.03 Системный анализ и управление,
25.05.03 Техническая эксплуатация транспортного радиооборудования,
27.03.05 Инноватика,
27.03.04 Управление в технических системах,
23.05.01 Наземные транспортно-технологические средства,
23.05.03 Подвижной состав железных дорог,
23.05.04 Эксплуатация железных дорог,
23.05.05 Системы обеспечения движения поездов,
03.04.03 Радиофизика,
38.04.03 Управление персоналом,
23.05.06 Строительство железных дорог, мостов и транспортных тоннелей,
06.04.01 Биология,
23.03.01 Технология транспортных процессов,
25.03.01 Техническая эксплуатация летательных аппаратов и двигателей
24.05.07 Самолето- и вертолетостроение,
01.03.02 Прикладная математика и информатика,
27.03.01 Стандартизация и метрология,
27.03.03 Системный анализ и управление,
27.04.01 Стандартизация и метрология,
28.03.02 Наноинженерия,
29.03.04 Технология художественной обработки материалов,
44.03.04 Профессиональное обучение (по отраслям),
38.03.06 Торговое дело,
43.03.03 Гостиничное дело,
25.05.05 Эксплуатация воздушных судов и организация воздушного движения,
27.04.02 Управление качеством,
37.04.01 Психология,
09.04.02 Информационные системы и технологии,
09.04.01 Информатика и вычислительная техника,
39.04.01 Социология,
38.04.02 Менеджмент,
38.04.01 Экономика,
09.04.04 Программная инженерия,
11.06.01 Электроника, радиотехника и системы связи,
15.03.01 Машиностроение,
01.05.01 Фундаментальные математика и механика,
02.03.01 Математика и компьютерные науки,
02.03.02 Фундаментальная информатика и информационные технологии,
02.04.01 Математика и компьютерные науки,
11.03.04 Электроника и наноэлектроника,
12.03.04 Биотехнические системы и технологии,
13.03.02 Электроэнергетика и электротехника,
23.03.03 Эксплуатация транспортно-технологических машин и комплексов,
15.03.05 Конструкторско-технологическое обеспечение машиностроительных производств,
15.03.06 Мехатроника и робототехника,
15.04.04 Автоматизация технологических процессов и производств,
19.04.03 Продукты питания животного происхождения,
09.03.03 Прикладная информатика,
10.05.05 Безопасность информационных технологий в правоохранительной сфере,
24.05.03 Испытание летательных аппаратов,
12.03.01 Приборостроение,
38.03.05 Бизнес-информатика,
27.03.02 Управление качеством,
09.03.02 Информационные системы и технологии,
15.04.05 Конструкторско-технологическое обеспечение машиностроительных производств,
12.04.01 Приборостроение,
09.03.04 Программная инженерия,
01.03.04 Прикладная математика,
09.03.01 Информатика и вычислительная техника,
25.03.02 Техническая эксплуатация авиационных электросистем и пилотажно-навигационных комплексов,
15.03.04 Автоматизация технологических процессов и производств,
25.05.02 Техническая эксплуатация и восстановление электросистем и пилотажно-навигационных комплексов боевых летательных аппаратов,
27.04.04 Управление в технических системах,
27.04.03 Системный анализ и управление,
25.05.03 Техническая эксплуатация транспортного радиооборудования,
27.03.05 Инноватика,
27.03.04 Управление в технических системах,
23.05.01 Наземные транспортно-технологические средства,
23.05.03 Подвижной состав железных дорог,
23.05.04 Эксплуатация железных дорог,
23.05.05 Системы обеспечения движения поездов,
03.04.03 Радиофизика,
38.04.03 Управление персоналом,
23.05.06 Строительство железных дорог, мостов и транспортных тоннелей,
06.04.01 Биология,
23.03.01 Технология транспортных процессов,
25.03.01 Техническая эксплуатация летательных аппаратов и двигателей
Материалы курса
Лекции22
Тесты3
Задания3
Поделиться курсом
Подписка от 349 ₽/мес.
Этот курс и более
10 894 других учебников
и курсов будут доступны
при покупке личной
подписки
10 894 других учебников
и курсов будут доступны
при покупке личной
подписки
Курсы по теме:
Научная школа:
Сибирский федеральный университет (г. Красноярск)
Используют:
261
вуз
203
преподавателя
835
студентов
Более 10 000 учебников
Более 5000 курсов
Тесты и задания платформы