1. Нашёл ошибку?
2. Выдели её мышью.
3. Нажми Ctrl-Enter.

[ закрыть ]

Содержание

Понравились лекции? Используете их для обучения? Можете отблагодарить автора:

рублей Яндекс.Деньгами
на счет 4100137733052 (Лекции по Функциональному программированию)

Лекция 1. "Вводная лекция"

История функционального программирования

Свойства функциональных языков

Решаемые задачи

Справочный материал

Благодарности

Лекция 2. "Структуры данных и базисные операции"

Несколько слов о программной реализации

Примеры

Упражнения

Ответы для самопроверки

Лекция 3. "Структуры данных и базисные операции - 2"

Типы в функциональных языках

Несколько слов о нотации абстрактного языка

Элементы программирования

Упражнения

Ответы для самопроверки

Лекция 4. "Основы языка Haskell"

Структуры данных и их типы

Вызовы функций

Упражнения

Ответы для самопроверки

Лекция 5. "Служебные слова и синтаксис Haskell'а"

Охрана и локальные переменные

Полиморфизм

Упражнения

Ответы для самопроверки

Лекция 6. "Модули и монады в Haskell'е"

Модули

Монады

Упражнения

Ответы для самопроверки

Лекция 7. "Операции ввода/вывода в Haskell'е"

Базовые операции ввода/вывода

Программирование при помощи действий

Обработка исключений

Файлы, каналы и обработчики

Окончательные замечания

Лекция 8. "Конструирование функций"

Упражнения

Ответы для самопроверки

Лекция 9. "Доказательство свойств функций"

Лекция 10. "Формализация ФП на основе l-исчисления"

Понятие формальной системы

Построение формальной системы

Соответствие между вычислениями функциональных программ и редукцией

Лекция 11. "Трансформация программ"

Виды преобразований

Частичные вычисления

Наверх | Лекции | НАУКА ·]

Сайт управляется системой uCoz