Разрешимые множества, определения перечислимого множества. Теорема Поста. Классы P и NP. m-сведение, самое трудное перечислимое множество. Неразрешимость задачи об остановке алгоритма.