Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
Войти
Лекция 5. Неподвижные точки функциональных программ
Лекция из курса:
Формальная семантика и верификация программного обеспечения
Миронов Андрей Михайлович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 5. Неподвижные точки функциональных программ
Видео закончится через
NaN:NaN
00:00
00:00
00:15
Следующая секция начнется через 01:09
Введение
01:09
Следующая секция начнется через 01:09
Функциональная программа (повторение)
08:13
Следующая секция начнется через 01:09
Работа с функциональной программой
16:07
Следующая секция начнется через 01:09
Неопределенное значение
22:30
Следующая секция начнется через 01:09
Естественное расширение функций
27:31
Следующая секция начнется через 01:09
Частичный порядок. Частично упорядоченные множества и кортежи
34:03
Следующая секция начнется через 01:09
Монотонность функции. Пример немонотонной функции
37:55
Следующая секция начнется через 01:09
Функция, соответствующая терму. Ее монотонность
45:33
Следующая секция начнется через 01:09
Функционал, соответствующий функциональной программе. Неподвижная точка
53:01
Следующая секция начнется через 01:09
Функциональные программы с разным количеством решений
58:01
Следующая секция начнется через 01:09
Существование sup у цепи кортежей
1:06:05
Следующая секция начнется через 01:09
Непрерывность и монотонность функционала. Пример монотонного функционала, не являющегося непрерывным
1:12:11
Следующая секция начнется через 01:09
Теорема Тарского (существование наименьшей неподвижной точки)
1:20:46
Следующая секция начнется через 01:09
Вопрос о вычислении неподвижной точки на конкретном аргументе
Свернуть таймкоды
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

Лекция 5. Неподвижные точки функциональных программ

00:15
Следующая секция начнется через 01:09
Введение
01:09
Следующая секция начнется через 01:09
Функциональная программа (повторение)
08:13
Следующая секция начнется через 01:09
Работа с функциональной программой
16:07
Следующая секция начнется через 01:09
Неопределенное значение
22:30
Следующая секция начнется через 01:09
Естественное расширение функций
27:31
Следующая секция начнется через 01:09
Частичный порядок. Частично упорядоченные множества и кортежи
34:03
Следующая секция начнется через 01:09
Монотонность функции. Пример немонотонной функции
37:55
Следующая секция начнется через 01:09
Функция, соответствующая терму. Ее монотонность
45:33
Следующая секция начнется через 01:09
Функционал, соответствующий функциональной программе. Неподвижная точка
53:01
Следующая секция начнется через 01:09
Функциональные программы с разным количеством решений
58:01
Следующая секция начнется через 01:09
Существование sup у цепи кортежей
1:06:05
Следующая секция начнется через 01:09
Непрерывность и монотонность функционала. Пример монотонного функционала, не являющегося непрерывным
1:12:11
Следующая секция начнется через 01:09
Теорема Тарского (существование наименьшей неподвижной точки)
1:20:46
Следующая секция начнется через 01:09
Вопрос о вычислении неподвижной точки на конкретном аргументе
Свернуть таймкоды
Конспект лекции
Лекция 5. Неподвижные точки функциональных программ
1 / 13