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