Информатика и вычислительная техника
  • формат doc
  • размер 764.98 КБ
  • добавлен 26 марта 2010 г.
Паулсон Л. Основы функционального программирования
Компьютерная лаборатория, Университет Кембридж, 1995 - 45 c.
Курс связан с ?-вычислениями и близкой к ним наукой – комбинаторной логикой
Содержание
1. Вступление
2. Равенство и нормализация
3. Кодирования данных в ?-вычислениях
4. Написание рекурсивных функций в ?-вычислениях
5. ?-вычисления и теория вычислений
6. ISWIM: ?-вычисления как язык программирования
7. Ленивые вычисления, используя комбинаторы
8. Методы компиляции, использующие комбинаторы
Похожие разделы
Смотрите также

Городняя Л.B. Основы функционального программирования

  • формат rtf
  • размер 11.41 МБ
  • добавлен 10 апреля 2011 г.
ИНТУИТ, 2004. - 150 с. В курсе изложены основы функционального программирования и методы его применения при решении сложных задач на стыке искусственного интеллекта и системного программирования. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эффективными методами преобразования информации, реализация которых требует многоуровневого обобщения и абстрагирования, что наибол...

Городняя Л.В. Основы функционального программирования

  • формат pdf
  • размер 1.13 МБ
  • добавлен 28 января 2011 г.
М.: Изд-во "Интернет-университет информационных технологий - ИНТУИТ. ру", 2004. - 280 c.: ил. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эффективными методами преобразования информации, реализация которых требует многоуровневого обобщения и абстрагирования, что наиболее естественно выражается в терминах функционального программирования. Функциональное программирование...

Журнал - Практика Функционального Программирования 2009 № 1

  • формат pdf
  • размер 1.42 МБ
  • добавлен 16 января 2011 г.
Первый (пилотный) номер нового научно-практического журнала по функциональному программированию «Практика Функционального Программирования». Содержание: Лев Валкин. От редактора. Сергей Зефиров. Лень бояться. Роман Душкин. Функции и функциональный подход. Евгений Кирпичёв. Изменяемое состояние: опасности и борьба с ними. Дмитрий Астапов. Давно не брал я в руки шашек. Dan Piponi. Моноиды в Haskell и их использование. Алексей Отт. Обзор литератур...

Журнал - Практика Функционального Программирования 2009 № 2

  • формат pdf
  • размер 1.34 МБ
  • добавлен 18 января 2011 г.
Центральная тема второго выпуска журнала — демонстрация применения функционального программирования в реальных, а не академических проектах. Содержание: Дмитрий Зуйков. История разработки одного компилятора. Дмитрий Астапов. Использование Haskell при поддержке критически важной для бизнеса информационной системы. Сергей Зефиров, Владислав Балин. Прототипирование с помощью функциональных языков. Алекс Отт. Использование Scheme в разработке семей...

Зюзьков В.М. Математическое введение в декларативное программирование

  • формат pdf
  • размер 2.06 МБ
  • добавлен 25 сентября 2010 г.
Учебное пособие. 2003. 83 с. Рассматриваются математические основы декларативного и функционального программирования, лямбда-исчисление и методы доказательства теорем. Для примеров используются языки Prolog и Haskell.

Кубенский А.А. Функциональное программирование

  • формат pdf
  • размер 1.81 МБ
  • добавлен 26 января 2011 г.
Санкт-Петербург: СПбГУ ИТМО, 2010. - 251 с. Учебно-методическое пособие содержит обширный теоретический и практический материал по курсу «Функциональное программирование». Изложение ведется с использованием одного из самых известных и распространенных в настоящее время языков функционального программирования – языка Haskell. Даны многочисленные примеры программ, подробно обсуждаются методы и приемы функционального программирования. Рекомендуется...

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

Реферат
  • формат doc
  • размер 164.8 КБ
  • добавлен 14 ноября 2009 г.
Реферат. Общие сведения о функциональном программировании. Предисловие. Введение. Общие сведения о функциональном программировании. История функционального программирования. Основы функционального программирования. Краткость и простота. Строгая типизация. Модульность. Функции — это значения. Чистота (отсутствие побочных эффектов). Отложенные (ленивые) вычисления. Основы работы с HUGS 98. Панель инструментов HUGS 98. Команды консоли HUGS 98. Допол...

Сошников Д.В. Функциональное программирование

  • формат pdf
  • размер 6.93 МБ
  • добавлен 23 декабря 2010 г.
Учебное пособие по функциональному программированию. В папке представлены первые 3 урока. Подробно рассматриваются разделы функционального программирования. Факультет инноваций и высоких технологий Московский физико-технический институт

Хендерсон П. Функциональное программирование. Применение и реализация

  • формат djvu
  • размер 5.72 МБ
  • добавлен 08 сентября 2010 г.
Книга английского специалиста по программированию» обобщающая опыт использования функционального программирования. Обсуждаются особенности функциональных языков и возможности их реализации на современных ЭВМ. Изложение иллюстрируется многочисленными примерами. Для программистов, математиков-прикладников, для всех, кто преподает и изучает программирование.

Шалимов П.Ю. Функциональное программирование

  • формат djvu
  • размер 3.83 МБ
  • добавлен 08 сентября 2010 г.
Учеб. пособие. Рассмотрены вопросы функционального стиля программирования с позиций декларативного подхода, позволяющего повысить интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. В качестве базового языка рассматривается функциональный язык Лисп. Изложение сопровождается многочисленными примерами конкретных программ. Учебное пособие предназначено для студентов всех форм обучения и дополнительного образов...