Специализация 31 03 01-04 03 «Математическая логика и теория алгоритмов в электронике»