IT, Теория алгоритмов