Лекция 23: Доказательство свойств программ
defaultValue- Подробности
- Категория: Функциональное программирование от НОУ ИНТУИТ
Доказательство корректности программ на примерах. Проблема самопременимости.
- Вы здесь:
-
Главная
-
Видеотека
-
Программирование и сеть
-
Функциональное и логическое программирование
-
Функциональное программирование от НОУ ИНТУИТ
- Лекция 23: Доказательство свойств программ
Быстрые и доступные VPS/VDS-серверы
Мы создаем основу для вашего успеха: сверхбыстрые серверы, непрерывная стабильность и разумные цены!
Смотреть тарифыПромокод promo_34043
Похожие материалы
- Лекция 30: Асинхронные и параллельные вычисления
- Лекция 29: Императивное ядро в функциональных языках. Монады. Computational Workflows
- Лекция 28: Метапрограммирование: Quotations
- Лекция 27: Анализ искусственных и естественных языков
- Лекция 26: Реализация функциональных языков: редукция графов, потоковые реализации
Популярное
- Spotlight 6: Student's book. Teacher's book. Workbook. Test booklet. Class CDs / Английский язык 6 класс
- Spotlight 7: Student's book. Workbook. Test booklet. Class CDs / Английский язык 7 класс
- Spotlight 3: Student's book. Workbook. Test booklet. Class CDs / Английский язык 3 класс
- Spotlight 4: Student's book. Workbook. Test booklet. Class CDs / Английский язык 4 класс
- Starlight 8 / Звездный английский 8 класс