Математическая логика и теория алгоритмов 1. Фундированность

Таймкоды: 00:00:00 - Интро 00:00:05 - Как устроен курс 00:07:55 - Содержание курса 00:17:15 - Фундированные и вполне упорядоченные множества 00:18:20 - Определение фундированности 00:21:00 - Примеры фундированных множеств 00:26:00 - Пример нефундированного 00:28:15 - Свойства эквивалентные фундированности 00:36:30 - Эквивалентность фундированности и бесконечного спуска 00:53:00 - Вполне упорядоченные множества 00:58:30 - Сложение множеств 01:00:20 - Теорема о сложении множеств 01:05:40 - Произведение множеств 01:07:30 - Теорема о произведении множеств 01:12:00 - Формулировка теоремы о монотонной функции Дата лекции: 04.02.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист