00:00 - Начало 01:10 - Повторение предыдущей лекции 05:41 - Однозначность дерева разбора 06:58 - Лемма о количество открывающих и закрывающих скобок в формуле 09:48 - Скобочный итог 11:08 - Однозначность разбора 21:14 - Формула тавтология 22:34 - Выполнимая формула 27:00 - Modus ponens 37:26 - Типичное математическое высказывание 38:30 - Определение отношения на множестве 46:20 - Определение функции 52:23 - Навешивание кванторов 59:30 - Определение модели 01:05:38 - Алгебра Тарского 01:15:23 - Арифметика Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист:
Hide player controls
Hide resume playing