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