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

Лекция 14. Модальная логика. Теория множеств Цермело

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