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

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