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