• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Бакалавриат 2026/2027

Теория автоматов

Статус: Курс обязательный (Компьютерные технологии, системы и сети)
Когда читается: 2-й курс, 1, 2 модуль
Охват аудитории: для своего кампуса
Язык: русский
Кредиты: 5
Контактные часы: 60

Программа дисциплины

Аннотация

Содержание дисциплины охватывает круг вопросов, связанных с формальными моделями, составляющими основной аппарат информатики: булева алгебра, конечные автоматы, формальные языки, машины Тьюринга, классическая и темпоральная логика и др.