Курсы
Лекторы
Школьникам
О проекте
Войти
Главная
/
Курсы
/
Математическая логика. Часть 2
/
Лекция 2. Арифметика Пеано
Арифметика Пеано
x 1.00
Математика
Математическая логика. Часть 2
Лекция 2. Арифметика Пеано
Кузнецов
Степан Львович
Предыдущая лекция
Следующая лекция
00:10
Арифметика Пеано
32:25
Определение функции, доказуемо-тотальные функции
39:14
Теорема Гёделя
52:56
Теорема: всякая примитивно-рекурсивная функция доказуемо-тотальна в арифметике Пеано
1:11:35
Доказуемо-тотальность функции взятия остатка в арифметике Пеано и определение взаимной простоты двух чисел
1:24:30
Если p - простое и делит произведение, то делит один из множителей
Курсы
Лекторы
Школьникам
О проекте
Контакты
Свяжитесь с нами
Отправить
2025 МГУ имени М.В. Ломоносова
Условия использования сайта
Сведения об образовательной организации
Нашли ошибку?
