Введение в математическую логику 8. Формальные системы

00:00:00 - Начало 00:04:27 - Синтаксическое следствие 00:10:14 - Теорема о равносильности синтаксического и семантического следствий 00:22:22 - Лемма 1 о противоречии 00:23:48 - Лемма 2 00:32:10 - Теорема дедукции 00:45:26 - Лемма 3 00:56:05 - Лемма Кальмара 01:10:45 - Доказательство использованных лемм Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист: