Этот курс и более
11 500 других учебников
и курсов будут доступны
при покупке личной
подписки
КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИХ ПРОЦЕССОВ
Используют:
49
учебных заведений
16
преподавателей
37
студентов
Избранное
2 зачетных единицы
72 академ/часа
4 часа в неделю
Доступно к покупке
Оплаченный доступ к контенту предоставляется только на платформе, а также онлайн и офлайн в мобильном приложении
Оплаченный доступ к контенту
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
Скачивание контента в
PDF недоступно
PDF недоступно
Скачивание контента в PDF недоступно
Документы о прохождении курсов не выдаются. Преподаватели могут повысить квалификацию:
Документы о прохождении курсов не выдаются. Преподаватели могут повысить квалификацию:
- О курсе
- Программа курса
- Методика
О курсе
Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Базовый учебник
Серия
Высшее образование
Тематика/подтематика
Компьютерные и информационные науки / Фундаментальные и теоретические основы информатикиДисциплины
Моделирование процессов и систем ,
Математическое моделирование систем и процессов ,
Моделирование систем и процессов ,
Компьютерное моделирование процессов ,
Компьютерное моделирование систем и процессов ,
Программные средства компьютерного моделирования ,
Компьютерное моделирование производственных и технологических процессов ,
Компьютерное моделирование в профессиональной деятельности ,
Компьютерное моделирование инфокоммуникационных сетей и систем ,
Системный анализ и компьютерное моделирование сложных систем ,
компьютерное моделирование технологических процессов ,
Компьютерное моделирование и обработка данных социально-гуманитарных исследований ,
Компьютерное моделирование и планирование ,
Основы компьютерного моделирования технологических процессов ,
Компьютерное моделирование: задачи и решения ,
Компьютерное моделирование и базы данных ,
Логическое моделирование ,
Моделирование процессов в расчетах на ЭВМ ,
Компьютерное моделирование процессов и систем ,
Профессиональное программирование и компьютерное моделирование ,
Моделирование систем и процессов (МСП) ,
Теория интеллектуальных систем управления ,
Компьютерное моделирование информационных процессов ,
Компьютерное моделирование и анализ бизнес-процессов ,
Компьютерное моделирование технологических и производственных процессов ,
Математические модели и методология компьютерного моделирования ,
Теория интеллектуальных систем обработки информации ,
Компьютерное моделирование в технических и информационных системах ,
Компьютерное моделирование и оптимизация в инфокоммуникационных системах и сетях ,
Компьютерное моделирование и оптимизация технологических процессов ,
Моделирование логических систем ,
Компьютерное моделирование логических процессов
Направления подготовки/Специальности/Профессии
Материалы курса
Лекции150
Тесты3
Задания3
Поделиться курсом
Подписка от 475 ₽/мес.
Курсы по теме:
Используют:
0
учебных заведений
0
преподавателей
0
студентов
Научная школа:
Омский государственный педагогический университет (г. Омск)
Используют:
60
учебных заведений
27
преподавателей
42
студента
Более 10 000 учебников
Более 5000 курсов
Тесты и задания платформы