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

08.09.2023
00:00 - Начало24:58 - Пример семантического следствия31:53 - Пример записи Гамильтонова графа42:59 - Лемма47:41 - Теорема компактности50:36 - Лемма о дереве0...

Похожие видео

Показать еще