“…Теория алгоритмов и конструктивный математический анализ…”