Теория вычислительной сложности; Конструктивный математический анализ; Анализ программ; Языки программирования