Курсы \ магистратура \ 5889 «Разработка программного обеспечения и науки о данных» (01.04.02 «Прикладная математика и информатика») \ Семестр 3 \ Лекции
Контингент по состоянию на 17.03.2026: 24 чел.

25\5889\1
078707 Автоматы на бесконечных строках и верификация
Основной курс
Траектория 3 семестра
Лекции
Очная
32
Вам необходимо войти для подачи заявки на этот курс

Другие варианты реализации данной дисциплины для данной образовательной программы

Основной курс, Траектория 1 семестра

Семестр 1, Лекции (32 ч.)
Основной курс, Траектория 2 семестра

Семестр 2, Лекции (32 ч.)
Основной курс, Траектория 4 семестра

Семестр 4, Лекции (32 ч.)