В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия...
V uchebnom posobii izlozheny osnovy kachestvennoj i kolichestvennoj teorii algoritmov; rassmotreny osnovnye modeli vychislenij (mashiny Tjuringa, mashiny s neogranichennymi registrami, rekursivnye funktsii) i svjazannye s nimi podkhody k formalizatsii ponjatija...