Специальность 31 80 10 «Теоретические основы информатики»