О ПРОЕКТЕ
ВСЕ ПРОЕКТЫ HH
Регистрация компании
Заявка на грант Повысить зарплату Поможем выбрать курс Регистрация карьериста
дистанционно, онлайн
Детали курса

Даты проведения
Открытая дата
Город
Pоссия
Вид обучения

Видеокурс

Форма обучения
Online
Учебная нагрузка
18 часов
Тема
IT: Для программистов и IT-специалистов
Программирование
Обучающая компания
ИНТУИТ

Базовая цена
Бесплатно!
Показать похожие курсы Найти новый курс
Мне интересно

Сохранить в избранном
Заказать звонок
Отправить вопрос
Подать заявку

Анонс
Курс знакомит слушателей с парадигмой функционального программирования, в которой решение задач сводится к описанию функций, перерабатывающих некоторые входные данные в выходные и строящихся из более простых функций на основе принципов функциональной абстракции и аппликации. Рассматриваются теоретические основы функционального программирования (лямбда-исчисление, комбинаторная логика, вопросы вычислимости), на примере функционального подхода дается представление о некоторых теоретических разделах компьютерных наук (семантика языков программирования, доказательство программ). С другой стороны курс содержит значительную практическую составляющую, основанную на промышленном языке программирования F# (входит в состав Microsoft Visual Studio 2010), рассматриваются вопросы использования функциональных языков для построения компиляторов, грамматического разбора и т.д.

                            
Программа
  1. Определение и краткая история функционального программирования
  2. Абстракция и декомпозиция. Декларативное программирование
  3. Парадигмы программирования
  4. Функциональное программирование в реальной жизни
  5. Основные принципы функционального программирования
  6. Сопоставление с образцом. Рекурсия. Циклы
  7. Пример: построение графика 2D-функции
  8. Рекурсивные структуры данных. Списки
  9. Примеры работы со списками
  10. Хвостовая рекурсия. Порядковое представление списков и матриц
  11. Функциональные структуры данных
  12. Деревья
  13. Деревья выражений и деревья поиска. Продолжения
  14. Введение в л-исчисление
  15. Нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера
  16. Описание рекурсивных функций. Комбинаторы и комбинаторная логика
  17. От л-исчисления к языку программирования
  18. Замыкания, генераторы и отложенные вычисления
  19. Последовательности и ленивые вычисления в F#. Мемоизация
  20. Пример: реализация машины Тьюринга
  21. ...
Подробнее о программе

                        
Преподаватели
Дмитрий Сошников

                            
Мне интересно

Сохранить в избранном
Заказать звонок
Отправить вопрос
Подать заявку

Обучающая компания
ИНТУИТ,
Москва, Электрический пер., д.8, стр.3


Схема проезда

Национальный Открытый Университет «ИНТУИТ» - это образовательный проект, главными целями которого являются свободное распространение знаний во Всемирной Сети и предоставление услуг дистанционного обучения. «ИНТУИТ» объединяет проекты:
• НОУ «ИНТУИТ» – Негосударственное образовательное частное учреждение «Национальный Открытый Университет «ИНТУИТ»;
• ИДО «ИНТУИТ» – Негосударственное образовательное частное учреждение «Институт Дистанционного Обучения «ИНТУИТ»;
• ООО «ИНТУИТ» (Интернет-Университет Информационных Технологий).