Введение в математическую логику 1. Семантическое следствие и булевы формулы HD
00:00 - Начало24:58 - Пример семантического следствия31:53 - Пример записи Гамильтонова графа42:59 - Лемма47:41 - Теорема компактности50:36 - Лемма о дереве0...
Похожие видео
Показать еще