Функциональное программирование
Название: Функциональное программирование
Автор: Д.В. Сошников
Издательство: ИНТУИТ
Год издания: 2010
Страниц: -
Язык: Русский
Формат: видео
Качество: отличное
Размер: 2,99 Гб
Описание:
Курс знакомит слушателей с парадигмой функционального программирования, в которой решение задач сводится к описанию функций, перерабатывающих некоторые входные данные в выходные и строящихся из более простых функций на основе принципов функциональной абстракции и аппликации.
Рассматриваются теоретические основы функционального программирования (лямбда-исчисление, комбинаторная логика, вопросы вычислимости), на примере функционального подхода дается представление о некоторых теоретических разделах компьютерных наук (семантика языков программирования, доказательство программ). С другой стороны курс содержит значительную практическую составляющую, основанную на промышленном языке программирования F# (входит в состав Microsoft Visual Studio 2010), рассматриваются вопросы использования функциональных языков для построения компиляторов, грамматического разбора и т.д.
Курс будет интересен как практикующим программистам и студентам, изучившим основы компьютерных наук, так и математикам. Для программистов на императивных языках знакомство с функциональным подходом позволит расширить сознание, перейти на более чистый (свободный от побочных эффектов) стиль программирования с более высоким уровнем абстракции, научиться эффективно использовать новые возможности современных императивных языков (LINQ, лямбда-выражения и т.д.). Для математиков, функциональное программирование может служить безболезненным введением в компьютерные науки, поскольку в рамках курса мы практически «с нуля» строим (начиная от математических основ, вплоть до реализации интерпретатора/компилятора и описания формальной семантики) язык программирования на базе лямбда-исчисления – раздела дискретной математики.
Цель
Познакомить слушателя с основами функционального программирования как дисциплины, находящейся на стыке программирования и дискретной математики; дать, с одной стороны, практические навыки функционального программирования на используемом на практике языке F#, а с другой – показать связь между теоретическими главами computer science и программированием, осветив некоторые теоретические проблемы информатики (вычислимость, семантика языков программирования, доказательство программ) и показав, как они решаются в функциональном подходе.
Предварительные знания
Строго говоря, предварительных знаний для курса не требуется – возможно изучение программирования, начиная с функционального подхода. Однако более традиционным подходом является изучение основ программирования на базе императивного языка, и затем изучение функционального программирования как альтернативной парадигмы. Курс в большей степени ориентирован именно на такой подход.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12799 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Один современный миф. О вещах, наблюдаемых в небе
Автор: Карл Густав Юнг Год издания: 1993 Формат: doc Страниц: 125 Размер: 1.31 Мб Язык: Русский Эта книга - одна из последних работ выдающегося ш . . .
-
Сегментный массаж
Автор: О. Глезер, В. Далихо Год издания: 1965 Формат: pdf Издат.: Медицина Страниц: 148 Размер: 7 MB Язык: Русский В книге приведены клинико- . . .
-
За здоровье пионера
Автор: Я. Бугайский Год издания: 1926 Формат: djvu Издат.: Молодая гвардия Страниц: 125 Размер: 2.5MB Язык: Русский Изучение состояния здоровья детей, степень их на . . .
-
Эволюционная иммунология
Автор: Галактионов В. Г. Год издания: 2005 Формат: djvu Издат.: Академнига Страниц: 408 Размер: 8,87 мб ISBN: 5-94628-103-8 Язык: Русский . . .
-
Демон Дарвина. Идея оптимальности и естественный отбор
Автор: Горбань А. Н., Хлебопрос Р. Г. Год издания: 1988 Формат: pdf Издат.: Москва: Наука (гл ред. физ.-мат. литературы) Страниц: 180 Размер: 1,28 мб Язык: . . .
-
Пракрити. Ваша аюрведическая конституция
Автор: Свобода Роберт Год издания: 2007 Формат: djvu Издат.: Саттва Страниц: 304 Размер: 5,1 Mb ISBN: 978-5-85296-043-6 Язык: Русский Кни . . .
-
Страна гуннов у Каспийских ворот
Автор: Гмыря Л.Б. Год издания: 1995 Формат: djvu Издат.: Дагестанское книжное издательство, Махачкала Страниц: 288 Размер: 54,44 Мб ISBN: 5-297-01099-3 . . .
-
Encyclopedia of African History / Энциклопедия истории Африки
Автор: коллектив Год издания: 2005 Формат: pdf Издат.: Taylor & Francis Group Страниц: 1864 Размер: 15,18 мб ISBN: 1-57958-245-1 Язык: Английский . . .
-
The Penguin Historical Atlas of the Medieval World / Исторический Атлас
Автор: Andrew Jotischky, Caroline Hull Год издания: 2005 Формат: pdf Издат.: Penguin Books Страниц: 144 Размер: 40,25 мб ISBN: 0-141-01449-0 Язык:  . . .
-
Восточная Война 1853–1856. В 2-х тт. Том 1
Автор: Зайончковский А. М. Год издания: 2002 Формат: pdf Издат.: Полигон Страниц: 928 Размер: 14 ISBN: 5-89173-156-8 Язык: Русский Этот о . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Функциональное программирование. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.