17 Вычислимые функции. Разрешимые и перечислимые множества