Курсы
Лекторы
Школьникам
О проекте
Войти
Главная
/
Курсы
/
Математическая логика. Часть 2
/
Лекция 4. Кодирование примитивно-рекурсивных функций в PA
Теорема 2: в арифметике Пеано Σ1 - полна
x 1.00
Математика
Математическая логика. Часть 2
Лекция 4. Кодирование примитивно-рекурсивных функций в PA
Кузнецов
Степан Львович
00:30
Теорема 2: в арифметике Пеано Σ1 - полна
29:25
Кодирование примитивно-рекурсивных функций в арифметике Пеано: доказательство существования и единственности
Конспект лекции
Скачать
PDF не найден.
Курсы
Лекторы
Школьникам
О проекте
Контакты
Свяжитесь с нами
Отправить
2025 МГУ имени М.В. Ломоносова
Условия использования сайта
Сведения об образовательной организации
Нашли ошибку?