MIPT-ML-20-Lect-09

Мат. логика в МФТИ на ПМФ. Темы: решетки и полные решетки; линейные порядки; цепи и антицепи; отношения эквивалентности; ядерная эквивалентность; классы эквивалентности и фактор-множества; разбиения; связь отношений эквивалентности и разбиений.