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