Рет қаралды 3,033
Розглянуто такі питання:
-- лінійні та строгі лінійні порядки;
-- цілком впорядковані множини;
-- теорема Цермело (про впорядкованість довільної множини);
-- алгоритм топологічного сортування (лінеарізація довільного часткового порядку на скінченній множині);
-- трансфінітна індукція.
Лектор: Сергій Яковлєв.
Дивіться у 720p, оскільки написи на дошці доволі дрібні.