Математическая логика и теория алгоритмов 4. Ординалы

Таймкоды: 00:00:00 - Интро 00:00:05 - Дополнение к прошлой лекции 00:06:10 - Транзитивное множество 00:09:10 - Формальное определение ординалов 00:10:50 - Лемма 1 00:15:20 - Лемма 2 00:17:30 - Порядок на ординалах 00:22:05 - Любой ординал это вум 00:25:00 - Предельные и непредельные ординалы 00:30:40 - Арифметика ординалов 00:31:00 - Неформально про сложение 00:31:50 - Теорема о вуме изоморф орд 00:32:20 - Формально 00:37:50 - Свойства сложения, ассоциативность 00:39:50 - Нет коммутативности 00:41:55 - Теорема о вычитании 00:44:15 - Единственность 00:49:25 - Существование 00:52:20 - Примеры 00:54:30 - Умножение 00:54:55 - Неформально 00:55:50 - Формально 00:59:30 - Свойства умножения 01:01:15 - Пример 01:05:20 - Деление с остатком Дата лекции: 11.02.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист