Теоретические основы информатики, БГТУ