Миронов А.М. - Формальная семантика и верификация ПО - 3. Функциональные программы

00:00:19 Строки. Базовые функции 00:08:30 Сложные функции 00:19:44 О функциональных программах 00:25:55 Функция Фибоначчи 00:28:54 Верификация функциональных программ. Программа сортировки 00:50:16 Структурная индукция для функции ord. Леммы Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #миронов #формальнаясемантикапо #верификацияпо