Автоматное программирование

Входные требования: Необходимо знать и уметь эффективно применять один или несколько языков программирования для написания компьютерных программ. Пользоваться поисковыми системами для получения доступа к необходимой информации. Английский язык на уровне чтения со словарем.

Зачетные единицы: 4

Семестр: 3

Курс: По выбору

Цели

Студенты изучат системы игр, в которых требуется максимальный уровень отказоустойчивости и уметь выявлять их; области, в которых эффективно применение автоматного программирования.
Студенты научатся анализировать влияние применения автоматного программирования на числовые параметры продукта, строить эффективные автоматные модели и применять принципы автоматного программирования для решения научно-технических задач.

Содержание

Основные темы в рамках дисциплины:

  • Области применения автоматного подхода
  • Проектирование процедурного программирования с явным выделением состояний
  • Спецификация процедурного программирования с явным выделением состояний
  • Реализация процедурного программирования с явным выделением состояний
  • Проектирование объектно-ориентированного программирования с явным выделением состояний
  • Автоматы и алгоритмы дискретной математики
  • Проверка правильности автоматных программ
  • Автоматы и параллельные вычисления
  • Автоматы и генетическое программирование

Формат

Лекции и лабораторные работы.

Оценка

Экзамен.