Введение в математическую логику 1. Семантическое следствие и булевы формулы

00:00 - Начало
24:58 - Пример семантического следствия
31:53 - Пример записи Гамильтонова графа
42:59 - Лемма
47:41 - Теорема компактности
50:36 - Лемма о дереве
01:06:38 - Булевы формулы (в виде таблицы)
01:11:08 - Представление формулы в виде дерева
01:14:49 - Булевы формулы (рекурсивное определение)
Дата лекции: 07.09.2023
Лектор: Михаил Николаевич Вялый
Оператор: Семенов Вадим
Монтажёр: Юдин Иван
Плейлист: • Введение в математичес...

[@vbvbnnhgjkkdfgfghh5136]

Экий, однако, живчик этот лектор! Очень приятно слушать, классный преподаватель.

[@bolotofloto]

Классный лектор. Спасибо!