Курсы
Лекторы
Школьникам
О проекте
Войти
Главная
/
Курсы
/
Введение в математическую логику и теорию алгоритмов
/
Лекция 14. Модальная логика. Теория множеств Цермело
Теорема 14.1 О существовании модели
x 1.00
Математика
Введение в математическую логику и теорию алгоритмов
Лекция 14. Модальная логика. Теория множеств Цермело
Шехтман
Валентин Борисович
Предыдущая лекция
Следующая лекция
00:30
Теорема 14.1 О существовании модели
08:24
Теорема 14.2 Гёделя о полноте
14:04
Теорема 14.3 О компактности
18:39
Теорема 14.4 Лёвенгейма-Сколема о понижении мощности
21:00
Теорема 14.5 О повышении мощности
36:25
Теорема 14.6 (Существование нестандартных моделей арифметики)
46:05
Теория множеств
50:31
Предложение 14.7 N противоречива
57:26
Теория множеств Цермело
1:23:33
Теорема 14.10 Кантора-Бернштейна
1:25:31
Теорема 14.11 Кантора
1:27:02
Аксиома выбора
Курсы
Лекторы
Школьникам
О проекте
Контакты
Свяжитесь с нами
Отправить
2025 МГУ имени М.В. Ломоносова
Условия использования сайта
Сведения об образовательной организации
Нашли ошибку?
