Математическая логика и теория алгоритмов 8. Теорема о полноте и теорема о компактности

00:00:00 - Введение 00:01:10 - Доказательство теоремы о полноте 00:14:02 - Обобщенная теорема о корректности 00:19:08 - Второе доказательство теоремы о полноте 00:23:23 - Полное множество 00:25:04 - Лемма 1 о расширении до полного 00:25:38 - Лемма 2 (полное непротиворечивое мн-во совместно) 00:27:03 - Доказательства лемм 00:47:29 - Теорема о компактности 00:53:04 - Применение теоремы о компактности, замощения, плитки Вана Дата лекции: 20.10.2021 Лектор: Мусатов Даниил Владимирович Съемка: Прозорова Лилия Монтаж: Зенина Дарья