Математическая логика и теория алгоритмов: неразрешимые проблемы - презентация о Примеры алгоритмически неразрешимых задач