Математическая логика 14. Решетка. Линейно упорядоченное множество. Цепь и антицепь

Дата лекции 03.12.25 Лектор: Дашков Евгений Владимирович Оператор: Пышкин Владимир Монтажёр: Файзуллина Екатерина Таймкоды: 00:00:00 - Интро 00:00:05 - Начало 00:04:50 - Диаграмма порядка 00:13:47 - Лемма 1 00:24:15 - Нижняя (верхняя) грань 00:29:50 - Инфимум и супремум 00:34:05 - Решетка 00:45:55 - Линейно упорядоченное множество 00:48:19 - Лемма 3 00:55:23 - Цепь и антицепь 01:06:55 - Изоморфизм Ссылка на плейлист YouTube: https://youtube.com/playlist?list=PL4_hYwCyhAvZDdlYPRv03EikOt2aae6dX&si=qlKhEPlIyVmKIx4C