Геннадий Ильич Кайгородцев

Метрическая теория программ, созданная М. Холстедом около трех десятков лет назад, в данном учебнике изложена концептуально и математически как одно из приложений алгоритмической теории сложности. Это позволило придать ей не только логическую последо…