Бакалавриат 2025/2026

Теория цифровых автоматов

Статус: Курс обязательный (Информатика и вычислительная техника)

Кто читает: Департамент компьютерной инженерии

Где читается: Московский институт электроники и математики им. А.Н. Тихонова

Когда читается: 2-й курс, 3, 4 модуль

Охват аудитории: для своего кампуса

Преподаватели: Апьюк Валерия Романовна, Бабердин Павел Васильевич, Бирюков Игорь Иванович

Язык: русский

Кредиты: 3

Контактные часы: 74

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

Аннотация

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