Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
Войти
Лекция 6. Существование наименьшей неподвижной точки. Вычисление значения неподвижной точки на конкретных данных
Лекция из курса:
Формальная семантика и верификация программного обеспечения
Миронов Андрей Михайлович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 6. Существование наименьшей неподвижной точки. Вычисление значения неподвижной точки на конкретных данных
Видео закончится через
NaN:NaN
00:00
00:00
00:15
Следующая секция начнется через 08:45
Повторение
08:45
Следующая секция начнется через 08:45
Монотонность функционала
14:58
Следующая секция начнется через 08:45
Непрерывность функционала
36:33
Следующая секция начнется через 08:45
Существование наименьшей неподвижной точки
39:46
Следующая секция начнется через 08:45
Пример. Понятие компиляции
1:04:31
Следующая секция начнется через 08:45
Вычисление неподвижной точки на конкретных данных
1:15:55
Следующая секция начнется через 08:45
Пример аномалии при использовании немонотонной функции
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 6. Существование наименьшей неподвижной точки. Вычисление значения неподвижной точки на конкретных данных

00:15
Следующая секция начнется через 08:45
Повторение
08:45
Следующая секция начнется через 08:45
Монотонность функционала
14:58
Следующая секция начнется через 08:45
Непрерывность функционала
36:33
Следующая секция начнется через 08:45
Существование наименьшей неподвижной точки
39:46
Следующая секция начнется через 08:45
Пример. Понятие компиляции
1:04:31
Следующая секция начнется через 08:45
Вычисление неподвижной точки на конкретных данных
1:15:55
Следующая секция начнется через 08:45
Пример аномалии при использовании немонотонной функции
Свернуть таймкоды
Конспект лекции
Лекция 6. Существование наименьшей неподвижной точки. Вычисление значения неподвижной точки на конкретных данных
1 / Загрузка