skip to content
se.moevm.info
User Tools
Log In
Site Tools
Search
Tools
Show pagesource
Old revisions
Backlinks
Recent Changes
Media Manager
Sitemap
Log In
>
Recent Changes
Media Manager
Sitemap
You are here:
МОЭВМ Вики
»
Курсы
»
Функциональное программирование
»
Программа
Sidebar
Регистрация первокурсников
Дипломникам (4 и 6 курс!)
Аспирантам
Регистрация результатов интеллектуальной деятельности (РИД)
Часто задаваемые вопросы о зачетах, экзаменах и пересдачах
1 курс
Программирование
Информатика
2 курс
Объектно-ориентированное программирование
Алгоритмы и структуры данных
Построение и анализ алгоритмов
3 курс
Базы данных
Основы промышленной разработки ПО
Тестирование
Искусственные нейронные сети
Базы знаний и экспертные системы
Научно-исследовательская практика
Производственная практика на кафедре МО ЭВМ, 3 курс
4 курс
Введение в нереляционные базы данных
Основы подготовки научных публикаций
Цифровая обработка сигналов
Машинное обучение
Проектирование человеко-машинного интерфейса
Статистические методы обработки экспериментальных данных
Разработка приложений для мобильных платформ
Аттестация за преддипломную практику (весенний семестр 4 и 6 курса)
Допуск до защиты ВКР (проверка демонстрационных материалов)
5 курс
Машинное обучение
Технологии автоматизации разработки ПО
Инструменты для анализа данных: R, Pandas
Анализ и интерпретация данных
Анализ, моделирование и оптимизация систем
Программные средства разработки систем искусственного интеллекта
Управление промышленной разработкой ПО
Нейронные сети (магистратура) для групп 2024 года
blockchain
Обучение с подкреплением
Представление знаний и системы искусственного интеллекта
(учебная практика и НИР)Аттестация магистрантов первого семестра обучения
(производственная практика НИР)Аттестация магистрантов второго семестра обучения
6 курс
Компьютерное Зрение
Пространственный искусственный интеллект
Smart Data
Knowledge Graphs
Многопоточное и распределённое программирование
Представление знаний и системы искусственного интеллекта
Robot OS
(производственная практика НИР)Аттестация магистрантов третьего семестра обучения
Аттестация за преддипломную практику (весенний семестр 4 и 6 курса)
Допуск до защиты ВКР (проверка демонстрационных материалов)
Научно-технический семинар 2024 (бывш. конференция ППС)
Регистрация научных профилей
Развертывание студенченских проектов
Moodle - хитрости, проблемы, решения (для преподавателей и авторов задач)
Domain-driven design
AutoML
Олимпиадное программирование
FAQ
Old
Summer Schools
Отправка отчетов
SPCN 2020
Магистрам
Учебные материалы по работе со Stepik
МДП
Разработка ПО с GUI
AI Systems practice
Список конференций
Сотрудникам
Функциональное программирование
Технологии хранения данных
Автоматизация учебных задач
courses:functional_programming:lectures
Table of Contents
Программа
Введение
Лямбда-исчиcление
Рекурсия и редукция
Просто(е) типизированное лямбда-исчисление
Введение в язык Haskell
Основы программирования в Haskell
Классы типов
Свертки и моноиды
Функторы
Монады
Стандартные монады
Использование аппликативных функторов
Трансформеры монад
Вывод типов*
Программирование с зависимыми типами*
Чисто функциональные структуры данных*
ФП в mainstream-языках*
GHC Core*
Программа
Введение
Особенности функционального программирования(ФП)
Отличия ФП от императивного программирования
Сильные и слабые стороны ФП
Лямбда-исчиcление
Формализации понятия алгоритма
Чистое λ-исчисление
Свободные и связанные переменные
Комбинаторы
Каррирование
Подстановка
Правила преобразования
Эквивалентность λ-термов
Рекурсия и редукция
Теорема о неподвижной точке, Y-комбинатор
Совместимые (с λ-исчислением) отношения, отношения редукции, отношения равенства(конгруэнтности)
Одношаговая β-редукция, β-редукция, β-равенство
Редукционные графы
Нормальная форма(nf)
Ненормализуемые, слабо нормализуемые и сильно нормализуемые термы
Теорема Чёрча-Россера, теорема об общем редукте, теорема о единственности nf
Стратегии редукции
Головная нормальная форма, слабая головная нормальная форма
Теорема о нормализации
Просто(е) типизированное лямбда-исчисление
Понятие типа (предназначение типов)
Просто(е) типизированное λ-исчисление (STLC)
Типизация по Чёрчу и Карри
Множество типов, предтермы, утверждение о типизации, контекст
Правила типизации
Леммы генерации, о контекстах
Теорема о редукции субъекта
Теорема о единственности типа для типизации по Чёрчу
Теорема о нормализации
Введение в язык Haskell
Базовые типы
Связывание
Определение функций
Охранные выражения
Конструкции where и let…in
Операторы и сечения
Модули
Реализации языка Haskell и инфраструктура (cabal, stack, hackage, hoogle)
Основы программирования в Haskell
Ленивые и строгие вычисления
Алгебраические типы данных: декартово произведение и размеченное объединение
Сопоставление с образцом
Работа со списками
Генераторы списков
Функции высших порядков над списками
Классы типов
Виды полиморфизма
Классы типов
Сравнение с другими языками программирования
Обзор стандартных классов типов(Eq, Ord, Enum, Bounded, Show, Read, Num, Fractional, Integral)
Особенности внутренней реализации классов типов (реализация с помощью словарей)
Свертки и моноиды
Левая и правая свертки (foldr, foldl, foldl', foldr1, foldl1)
Родственные сверткам функции (scanl, scanr, unfold)
Semigroup a, закон для полугруппы
Semigroup a ⇒ Monoid a, законы для моноида
Стандартные моноиды ([a], Any, All, Product a, Sum a, Endo a, Dual a, Last a, First a)
Foldable
Функторы
Функторы
Законы для функторов
Аппликативные функторы
Законы для аппликативных функторов
Функция как функтор, аппликативный функтор
Список как аппликативный функтор, ZipList
Монады
Стрелка Клейсли
Понятие монады
Класс типов Monad
Монады Identity, Maybe
Список как монада
Отличие монад от аппликативных функторов
Стандартные монады
Reader
Writer
State
IO
Функции ввода-вывода
Остальное не успели
Использование аппликативных функторов
Аппликативные парсеры
Класс типов Alternative
Законы класса Alternative
Класс типов Traversable
Законы класса Traversable
Трансформеры монад
Класс типов MonadPlus
Законы класса MonadPlus
Монада Except
Мультипараметрические классы типов
Трансформеры монад
Законы для класса типов MonadTrans
Стандартные трансформеры библиотеки mtl
Вывод типов*
Программирование с зависимыми типами*
Чисто функциональные структуры данных*
ФП в mainstream-языках*
GHC Core*
courses/functional_programming/lectures.txt
· Last modified: 2022/12/10 09:08 (external edit)
Page Tools
Show pagesource
Old revisions
Backlinks
Export to PDF
Rename Page
ODT export
Back to top