Математическая логика и теория алгоритмов 4. Ординалы (продолжение)
00:00:00 - Возведение ординала в степень
00:40:54 - Теорема об ординальной системе счисления
00:46:20 - Числа эпсилон
00:54:08 - Содержание дальнейших лекций
Дата лекции: 28.02.24
Лектор: Мусатов Даниил Владимирович
Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbxuVVn5QJqr1FITycr93SN
Видео Математическая логика и теория алгоритмов 4. Ординалы (продолжение) канала Лекторий ФПМИ
00:40:54 - Теорема об ординальной системе счисления
00:46:20 - Числа эпсилон
00:54:08 - Содержание дальнейших лекций
Дата лекции: 28.02.24
Лектор: Мусатов Даниил Владимирович
Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbxuVVn5QJqr1FITycr93SN
Видео Математическая логика и теория алгоритмов 4. Ординалы (продолжение) канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Случайные процессы 6 Свойства корреляционной функции стационарных процессов
Транспортные потоки. Лекция 4. Гасников А.В.
Дискретные структуры 11. Частично упорядоченные множества
Прикладное машинное обучение 5. Context based models. BERT overview
ТФСиА 15. Теоремы Тарского и Гёделя.
Теория колец и полей 3. Евклидовы кольца
Гармонический анализ 20. Формулы Эйлера
ОКТЧ 22. Диофантовы приближения. Цепные дроби
Алгоритмы (базовый поток) 13. Потоки-2
Введение в машинное обучение - семинары, SVM, PCA. (4 курс, осень 2022)
Презентация кафедры вычислительных технологий и моделирования в геофизике и биоматематике (ИВМ РАН)
Гармонический анализ 10. L2-теория рядов Фурье
ТПиАК 10. Процессы в операционных системах
Случайные процессы 4. Винеровские и пуассоновские процессы
Транспортные потоки. Лекция 5. Гасников А.В.
ОКТЧ 1. Квадратичные вычеты. Символ Лежандра
Презентация кафедры математического моделирования сложных систем и оптимизации ФПМИ
Алгоритмы и структуры данных (Экономика & ERP). 7. Хеш-таблицы
Дифференциальные уравнения 14. Геодезические задачи
Программирование основных алгоритмов 2. Алгоритм Косарайю. DFS на неорграфах. 0-k BFS
Алгоритмы (базовый поток) 6. DFS, проверка на ацикличность, сильная и слабая связанность, применения