Миронов А.М. - Формальная семантика и верификация ПО - 5. Неподвижные точки функциональных программ

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