Бесплатные видеолекции: Функциональное программирование (часть 2)

назад к части 1

продолжение

В этой части: Функциональные структуры данных, деревья выражений и деревья поиска, продолжения, введение в л-исчисление, нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера, описание рекурсивных функций, комбинаторы и комбинаторная логика, от л-исчисления к языку программирования, замыкания, генераторы и отложенные вычисления, последовательности и ленивые вычисления в F#. Мемоизация, F# sequences. Примеры. Ленивые вычисления. Пример: реализация машины Тьюринга

Общее время просмотра (10 видео), часть 2: 5 ч 22 мин

11 Функциональные структуры данных

Функциональные структуры данных. Представление очереди. Многомерные массивы.

    Введение
    Функциональные структуры данных
    Реализация структур данных
        Очередь
        Реализация из 2-х списков
        Массивы
        Типы .NET Framework
        Многомерные массивы
    Пример с треугольником Паскаля
    Мораль

12 Деревья

Деревья общего вида и двоичные деревья. Обход дерева. Реализация обхода с помощью функции с отложенным вычислением.

Определение.Применение
Обход дерева
Примеры
map для дерева
Вывод структуры директорий
Подсчет размера директории
Двоичные деревья
Определение
Отличия от деревьев общего вида
Сведение дерева общего вида к двоичному
Применение двоичных деревьев
Описание двоичного дерева
Обход двоичного дерева
Реализация обхода
Отложенные вычисления
Обход с аккумулятором

Модель вычислений
Лямбда исчисление
Синтаксис
Свободные и связанные переменные
Примеры

От л-исчисления к языку программирования

Представление условных выражений, списков и натуральных чисел в лямбда исчислении.Вычислимость.Эквивалентность алгоритмических моделей.

Вычисления на базе чистого л-исчисления
Условные выражения
Представление списков
Натуральные числа
Нумералы
Списковый подход
Через прямую сумму
Схожесть списков и целых чисел
Числа Черча
Итого
Синтаксические улучшения
Что мы получили?
Вычислимость
Полнота по Тьюрингу
Эквивалентность алгоритмических моделей
Все ли вычислимо? Проблема останова

Другие бесплатные видеокурсы

Бесплатная видеолекция: Изменение трудового договора в одностороннем порядке
Ведет мастер-класс сертифицированный специалист в области кадрового менеджмента, член Национального ...
Бесплатная видеолекция: Адаптация персонала в организации: виды, методы, результаты
Ведет семинар сертифицированный специалист по кадровому менеджменту с более чем 15-летним опытом ...
Бесплатная видеолекция: Учет убытков прошлых лет для целей налога на прибыль в программе 1С Бухгалтерия 3
Семинар ведет ведущий преподаватель центра «Специалист» по бухучету и программе 1С с более, чем ...

Все бесплатные видеокурсы, Курсы IT специалистов

Быстрый поиск по теме Программы MBA Курсы бухгалтеров Курсы 1с Курсы иностранных языков Тренинги по продажам Курсы программирования Курсы управление персоналом Бесплатные курсы ещё	Поиск по городам Курсы в Москве Курсы в Санкт-Петербурге Курсы в Екатеринбурге Курсы в Новосибирске Курсы в Нижнем Новгороде Курсы в Самаре Курсы в Ростове-на-Дону Курсы в Казани ещё	Сервисы карьеристам Сервисы до и после регистрации Поиск курса, программы обучения Выбор выставки, конференции Конкурс грантов Деньги на обучение EduMoney Рейтинг компаний Публикации и новости Словари ещё	Организаторам мероприятий Правила размещения мероприятий Регистрация компании Реклама и сервисы на сайте Аудитория сайта Каталог компаний ещё