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

Таймкоды: 00:00 - организационные моменты 13:05 - начало, натуральные числа «и так далее» 27:09 - фундированные множества 35:15 - свойства эквивалентные фундированности 39:30 - доказательство эквивалентности 55:32 - вполне упорядоченные множества 1:04:47 - лемма о монотонной функции Дата лекции: 05.02.2025 Лектор: Мусатов Даниил Владимирович Оператор: Давид Чайлахян Монтажёр: Алексей Чегодаев Плейлист:    • Математическая логика и теория алгоритмов ...