INTUIT.ru: Видеокурс - Функциональное программирование

поддержка курса Функциональное программирование
Автор: Д.В. Сошников

?	Уровень: для специалистов \|\| Статус: бесплатный \|\| Опубликован: 09.02.2010 Рейтинг: 4.50 \|\| Популярность: 6 \|\| Студентов: 618/21

Поддержка

Курс создан при финансовой поддержке компании
Microsoft

Microsoft Dreamspark

Бесплатные лицензионные версии программ для студентов и преподавателей.
Специальное предложение для студентов Интуит.ру. подробнее »

Внимание! Для получения индивидуальный кода Dreamspark студенту Интуит необходимо приступить к изучению одного из курсов по технологиям Microsoft

Рады сообщить, что теперь для студентов Интуит, зарегистрированных на учебные курсы по технологиям Microsoft, стала доступной программа DreamSpark.

Инициатива DreamSpark предоставляет участникам программы бесплатный доступ к таким продуктам, как Visual Studio 2010 Professional, Windows Server 2008 R2 Standard, Windows Server 2008 Standard, Expression Studio 4 Ultimate, SQL Server 2008 R2 Developer, XNA Game Studio 4.0, Robotics Developer Studio 2008 R2 и многим другим.

Предоставляемое ПО доступно исключительно в некоммерческих целях для обучения, проведения исследований, разработки и тестирования программного обеспечения в рамках выполнения учебных заданий и личных некоммерческих проектов.

Также для участников программы DreamSpark открыта возможность бесплатно зарегистрироваться в Windows Marketplace для размещения своих приложений для Windows Phone 7. В этом случае делается исключение из ограничений, указанных выше, и допускается коммерческая разработка с использованием предоставляемых инструментов.

Для регистрации в программе DreamSpark, перейдите на сайт проекта и залогиньтесь со своим LiveId и используйте индивидуальный код, который Вы сможете получить после того, как приступите к изучение одного из курсов по технологиям Microsoft. Надеемся, что предоставленное программное обеспечение позволит вам лучше освоить выбранные учебные курсы по информационным технологиям.

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

Цель
Познакомить слушателя с основами функционального программирования как дисциплины, находящейся на стыке программирования и дискретной математики; дать, с одной стороны, практические навыки функционального программирования на используемом на практике языке F#, а с другой – показать связь между теоретическими главами computer science и программированием, осветив некоторые теоретические проблемы информатики (вычислимость, семантика языков программирования, доказательство программ) и показав, как они решаются в функциональном подходе.

Предварительные знания
Строго говоря, предварительных знаний для курса не требуется – возможно изучение программирования, начиная с функционального подхода. Однако более традиционным подходом является изучение основ программирования на базе императивного языка, и затем изучение функционального программирования как альтернативной парадигмы. Курс в большей степени ориентирован именно на такой подход.

Дополнительные курсы

Записаться на обучение

Варианты обучения	Цена	Документы
Вы можете оформить официальные документы по программе повышения квалификации.
Самостоятельно	Бесплатно	сертификат	Курс пройден.
ИДО "ИНТУИТ"	2000 руб.	сертификат + официальное удостоверение о повышении квалификации	Программа пройдена.
ВШБИ НИУ ВШЭ	5000 руб.	удостоверение о повышении квалификации государственного образца	Программа пройдена.
Телефон: +7(499) 253-9312, факс: +7(499) 253-9310, e-mail: dpo@intuit.ru, ICQ: Intuit.Ru (632-332-736), Skype: Intuit.Ru

экзамен | экстернат | диплом Лекции

просмотров: 0 | загрузок: 0

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

Знакомство. Определение функционального программирования и его история.

Вопросы и Ответы