Дискретная математика. Рабочая программа. Бондаренко Л.Н. - 7 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

7.1.15 Сети Петри
Определение сетей Петри. Маркировка сетей Петри. Диаграммы дости-
жимых состояний. Использование сетей Петри как формальный аппарат для
моделирования систем.
7.1.16 Программная реализация автоматов и сетей
Основные методы программной реализации автоматов и сетей.
7.2 Форма проведения занятий
Лекции.
7.3 Материально-техническое обеспечение
Учебная литература, монографии, методические указания.
8 Практические занятия
9.1 Основные
темы
9.1.1 Исчисление высказываний.
9.1.2 Основы алгебры логики.
9.1.3 Задание булевых функций, реализация функциональными элемента-
ми.
9.1.4 Разложения булевых функций по переменным.
9.1.5 Методы минимизации булевых функций.
9.1.6 Методы минимизации булевых функций.
9.1.7 Графы и их основные свойства.
9.1.8 Маршруты, цепи, циклы, связность.
9.1.9 Задачи на графах. Раскраски и планарность.
9.1.10 Деревья и их подсчет.
9.1.11 Логика предикатов.
9.1.12 Формальные языки и грамматики.
9.1.13 Методы задания конечных автоматов.
9.1.14 Преобразование конечных автоматов
9.1.15 Минимизация конечных автоматов.
9.1.16 Анализ сетей Петри
9.1.17 Применение сетей Петри
9.2 Форма проведения занятий
Практические занятия.
9.3 Материально-техническое снабжение
Лекции, учебники, задачники.
9 Лабораторные занятия
Не запланированы.
10 Семинарские занятия
Не запланированы. 
      7.1.15 Сети Петри
     Определение сетей Петри. Маркировка сетей Петри. Диаграммы дости-
жимых состояний. Использование сетей Петри как формальный аппарат для
моделирования систем.
      7.1.16 Программная реализация автоматов и сетей
      Основные методы программной реализации автоматов и сетей.
      7.2 Форма проведения занятий
      Лекции.
      7.3 Материально-техническое обеспечение
      Учебная литература, монографии, методические указания.
      8 Практические занятия
      9.1 Основные темы
      9.1.1 Исчисление высказываний.
      9.1.2 Основы алгебры логики.
      9.1.3 Задание булевых функций, реализация функциональными элемента-
ми.
      9.1.4 Разложения булевых функций по переменным.
      9.1.5 Методы минимизации булевых функций.
      9.1.6 Методы минимизации булевых функций.
      9.1.7 Графы и их основные свойства.
      9.1.8 Маршруты, цепи, циклы, связность.
      9.1.9 Задачи на графах. Раскраски и планарность.
      9.1.10 Деревья и их подсчет.
      9.1.11 Логика предикатов.
      9.1.12 Формальные языки и грамматики.
      9.1.13 Методы задания конечных автоматов.
      9.1.14 Преобразование конечных автоматов
      9.1.15 Минимизация конечных автоматов.
      9.1.16 Анализ сетей Петри
      9.1.17 Применение сетей Петри
      9.2 Форма проведения занятий
      Практические занятия.
      9.3 Материально-техническое снабжение
      Лекции, учебники, задачники.
      9 Лабораторные занятия
      Не запланированы.
      10 Семинарские занятия
      Не запланированы.

Страницы