Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 5. Система аксиом
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 5. Система аксиом
Видео закончится через
NaN:NaN
00:00
00:00
00:09
Следующая секция начнется через 04:25
Теорема о корректности аксиом CL для булевых алгебр.
04:25
Следующая секция начнется через 04:25
Лемма об импликации
10:47
Следующая секция начнется через 04:25
Пример. Общезначимость 2й аксиомы.
20:55
Следующая секция начнется через 04:25
Пример. Общезначимость 8й аксиомы.
28:41
Следующая секция начнется через 04:25
Следствие непротиворечивости.
31:18
Следующая секция начнется через 04:25
Теорема о полноте исчисления высказываний.
35:03
Следующая секция начнется через 04:25
Лемма о критерии противоречия.
42:23
Следующая секция начнется через 04:25
Продолжение доказательства теоремы о полноте исчисления высказываний.
46:56
Следующая секция начнется через 04:25
Лемма о существовании максимальной подформулы.
50:07
Следующая секция начнется через 04:25
Свойства максимальных множеств.
1:25:10
Следующая секция начнется через 04:25
Следствие. Завершение темы логики высказываний.
Свернуть таймкоды
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

Лекция 5. Система аксиом

00:09
Следующая секция начнется через 04:25
Теорема о корректности аксиом CL для булевых алгебр.
04:25
Следующая секция начнется через 04:25
Лемма об импликации
10:47
Следующая секция начнется через 04:25
Пример. Общезначимость 2й аксиомы.
20:55
Следующая секция начнется через 04:25
Пример. Общезначимость 8й аксиомы.
28:41
Следующая секция начнется через 04:25
Следствие непротиворечивости.
31:18
Следующая секция начнется через 04:25
Теорема о полноте исчисления высказываний.
35:03
Следующая секция начнется через 04:25
Лемма о критерии противоречия.
42:23
Следующая секция начнется через 04:25
Продолжение доказательства теоремы о полноте исчисления высказываний.
46:56
Следующая секция начнется через 04:25
Лемма о существовании максимальной подформулы.
50:07
Следующая секция начнется через 04:25
Свойства максимальных множеств.
1:25:10
Следующая секция начнется через 04:25
Следствие. Завершение темы логики высказываний.
Свернуть таймкоды
Конспект лекции
Лекция 5. Система аксиом
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»