Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
Вычислимые функции. Алгоритм проверки корректности программ.
Теория вычислимости
Что такое универсальная машина Тьюринга? Душкин объяснит
Континуум-Гипотеза. Первая проблема Гильберта
Теория множеств: логика, формализм и кризис
Сдаст ли вас оператор за поиск в интернете? Михаил Климарёв
Формальное определение алгоритма. Машина Тьюринга. Структура и примеры. Лекция №2
Что такое машина Поста. Душкин объяснит
Математическая логика и теория алгоритмов 8. Начало теории вычислимости. Машина Тьюринга.