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

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

Видео Математическая логика и теория алгоритмов 1. Фундиров? автора Infatuation with Saws