Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Множество разрешимо тогда и только тогда, когда его характеристическая функция вычислима. Множество разрешимо тогда и только тогда, когда оно и его дополнение перечислимы. Пересечение и объединение перечислимых множеств перечислимы.
