Курсы
Лекторы
Школьникам
О проекте
Войти
Главная
/
Курсы
/
Введение в математическую логику и теорию алгоритмов
/
Лекция 4. Булева алгебра
Теорема. Об общезначимых формулах в булевой алгебре.
x 1.00
Математика
Введение в математическую логику и теорию алгоритмов
Лекция 4. Булева алгебра
Шехтман
Валентин Борисович
Предыдущая лекция
Следующая лекция
02:03
Теорема. Об общезначимых формулах в булевой алгебре.
12:15
Исчисление высказываний. Схемы аксиом.
22:48
Правила вывода.
29:45
Примеры доказательства.
40:07
Выводы из гипотез.
44:12
Лемма. О выводимости конъюнкции.
46:41
Продолжение. Выводимость.
58:45
Пример. Выводимость конъюнкции.
1:01:43
Дополнительные пояснения к доказательству.
1:02:46
Теорема дедукции.
1:17:38
Пример. Правило силлогизма.
1:21:40
Теорема о корректности аксиом CL для булевых алгебр.
Курсы
Лекторы
Школьникам
О проекте
Контакты
Свяжитесь с нами
Отправить
2025 МГУ имени М.В. Ломоносова
Условия использования сайта
Сведения об образовательной организации
Нашли ошибку?
