Математическая логика и теория алгоритмов 6. Порядок на ВУМ. Теорема о монотонности

Таймкоды: 00:00:00 - Начало 00:03:25 - Теорема 1 (о сравнимости ВУМ) 00:35:25 - Порядок на ВУМ 00:36:25 - Утверждение 2 00:41:05 - Следствие 3 00:41:58 - Лемма 4 (Порядок на ВУМ фундирован) 00:50:35 - Теорема 5 (о монотонности) 00:54:03 - Лемма 6 (порядок на подмножестве) 01:01:50 - Доказательство Теоремы 5 01:16:17 - Теорема 7 (о вычитании ВУМ) 01:22:03 - Теорема 8 (о делении ВУМ с остатком) Дата лекции: 11.03.2026 Лектор: Дашков Евгений Владимирович Оператор: Пышкин Владимир Монтажер: Файзуллина Екатерина Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZ4LnvcpHFODXqDPdnlEABP Плейлист