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


Nielson F., Nielson H.R. Two-Level Functional Languages

Nielson F., Nielson H.R. Two-Level Functional Languages

  • разное
  • djvu
  • 1.48 МБ
  • добавлен 03.02.2012
Издательство Cambridge University Press, 1992, -311 pp.

The subject area of this book concerns the implementation of functional languages. The main perspective is that part of the implementation process amounts to
making computer science concepts explicit
in order to facilitate the application, and the ...
Харрисон Джон. Введение в функциональное программирование (пер. с англ.)

Харрисон Джон. Введение в функциональное программирование (пер. с англ.)

  • разное
  • pdf
  • 1.4 МБ
  • добавлен 25.01.2012
- Кембридж, 1997. - 170 с.
Это конспект лекций по курсу Введение в функциональное программирование, который преподавался Джоном Харрисоном в университете Кембриджа в 1996/7 учебном году.
Оглавление.
Введение.
Лямбда-исчисление.
Лямбда-исчисление как язык программирования.
Типы.
Знакомство с ML.
Бо...
Loverdos C.K.K., Syropoulos A. Steps in Scala

Loverdos C.K.K., Syropoulos A. Steps in Scala

  • разное
  • pdf
  • 12.25 МБ
  • добавлен 05.12.2011
CAMBRIDGE UNIVERSITY PRESS, 2010. - 485 p. - ISBN: 978-0-511-90054-9

Object-functional programming is already here. Scala is the most prominent representative of this exciting approach to programming, both in the small and in the large. In this book we show how Scala proves to be a highly expressive, concise, and scalab...
Curien P.-L. Categorical Combinators, Sequential Algorithms, and Functional Programmimg

Curien P.-L. Categorical Combinators, Sequential Algorithms, and Functional Programmimg

  • разное
  • djvu
  • 2.14 МБ
  • добавлен 12.10.2011
Издательство Birkh?user, 1993, -424 pp.

The goal of this monograph is to give a concrete approach to the semantics of sequential programming languages, with application to the design and implementation of programming languages. Just as machines do not manipulate numbers, but representations of numbers, we do not present...
Лекция - Функциональное программирование

Лекция - Функциональное программирование

  • лекции
  • doc,pdf
  • 3.21 МБ
  • добавлен 03.10.2011
Содержание.
Парадигма программирования.
Функциональные языки.
Свойства функциональных языков.
Быстрая сортировка Хоара на C.
Быстрая сортировка Хоара на языке Haskell.
Ленивость и нестрогость.
Немного о популярном языке.
Каррирование (карринг).
Определение функций.
Рекурсия.
Исп...
Бенерт К.Н., Герасин М.Л. Введение в Лисп: Учебное пособие

Бенерт К.Н., Герасин М.Л. Введение в Лисп: Учебное пособие

  • разное
  • pdf
  • 41.5 МБ
  • добавлен 29.09.2011
Бенерт К. Н., Герасин М. Л. Введение в Лисп: Учебное пособие / Сыктывкарский университет. Сыктывкар, 1994. 134 стр.

В пособии описаны основные конструкции языка программирования Лисп. Особое внимание уделяется методам рекурсивного программирования. Приводится большое число примеров простых программ для обработки списков...
Нет изображения

Лабораторная работа - Рекурсивные функции

  • лабараторные
  • txt
  • 2.03 КБ
  • добавлен 30.05.2011
A. Функция Позиция(x список) возвращает положение атома x в одноуровневом списке (первый элемент имеет номер 1). Если элемента в списке нет, то функция возвращает 0.
(Используется функция MEMBER)

b. Функция Сумма-дерева (дерево) возвращает сумму чисел в дереве. Нечисловые символы игнорируются
(Сумма-дерева ’((3...
Журнал - Практика Функционального Программирования 2011 № 7

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

  • разное
  • pdf
  • 4 МБ
  • добавлен 13.04.2011
Седьмой номер был небыстр и нелегок в производстве; долгими студёными зимними вечерами, не покладая рук, трудились авторы и редакторы над его созданием. Но, пожалуй, труды себя оправдали — по разнообразию и качеству содержимого этот номер беспрецедентен; низкий поклон авторам. Мы уверены, что читатели откроют для себя из статей ...
Нет изображения

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

  • разное
  • rtf
  • 11.41 МБ
  • добавлен 10.04.2011
ИНТУИТ, 2004. - 150 с.

В курсе изложены основы функционального программирования и методы его применения при решении сложных задач на стыке искусственного интеллекта и системного программирования. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эфф...
Fogus M., Houser C. The Joy of Clojure: Thinking the Clojure

Fogus M., Houser C. The Joy of Clojure: Thinking the Clojure

  • разное
  • pdf
  • 22.01 МБ
  • добавлен 06.04.2011
Michael Fogus, Chris Houser. The Joy of Clojure: Thinking the Clojure. Manning Publications, 2011. - 360 p. - ISBN: 1935182641

Clojure is a dynamic programming language that targets the Java Virtual Machine. The Joy of Clojure goes beyond the syntax, and shows how to write fluent, idiomatic Clojure code. Readers will le...
Peyton-Jones S., Bolingbroke M. Supercompilation by Evaluation

Peyton-Jones S., Bolingbroke M. Supercompilation by Evaluation

  • разное
  • pdf
  • 315.49 КБ
  • добавлен 09.03.2011
Peyton-Jones S. , Bolingbroke M. Supercompilation by Evaluation // Second International Workshop on Metacomputation in Russia (META-2010), July 1-5, 2010, Pereslavl-Zalessky.

My student Max Bolingbroke and I have been studying supercompilation, with a view to making GHC into a supercompiler. In this talk I'll describe v...
Meijer E., Fokkinga M., Paterson R. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

Meijer E., Fokkinga M., Paterson R. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

  • разное
  • pdf
  • 246.78 КБ
  • добавлен 09.03.2011
Erik Meijer and Maarten Fokkinga and Ross Paterson, Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. - Springer-Verlag, 1991. - pp. 124-144.

Краткое содержание:

Introduction
The data type of lists
Algebraic data types
Recursion schemes
Parametrized types
Conclusion
Launchbury J., Peyton-Jones S.L. Lazy Functional State Threads

Launchbury J., Peyton-Jones S.L. Lazy Functional State Threads

  • разное
  • pdf
  • 291.25 КБ
  • добавлен 09.03.2011
John Launchbury and Simon L. Peyton Jones, Lazy Functional State Threads // In Programming Languages Design and Implementation. - ACM Press, 1993. - pp. 24-35.

Краткое содержание:

Introduction
Overview
Array references
Input/output
Formal semantics
Implementation
Other useful combinators...
Kiselyov O. Strongly Typed Heterogeneous Collections

Kiselyov O. Strongly Typed Heterogeneous Collections

  • разное
  • pdf
  • 165.89 КБ
  • добавлен 09.03.2011
A shorter version of this paper appeared in the proceedings of the ACM SIGPLAN Haskell Workshop 2004, September 22, 2004, Snowbird, Utah, USA, Published by ACM Press. This longer version provides several appendices and some extra paragraphs.

Краткое содержание:

Introduction
Not so strongly typed collections...
Hughes J. The Design of a Pretty-printer Library

Hughes J. The Design of a Pretty-printer Library

  • разное
  • pdf
  • 331.67 КБ
  • добавлен 05.03.2011
Статья одного из пропагандистов ФП о разработке библиотеки комбинаторов вывода. Реализация осуществлена на языке Haskell.

Краткое содержание:

Introduction
A Preview of the Pretty-printing Library
Deriving Functional Programs from Specifications
Designing a Sequence Type
Implementing Monads
M...
Martin Odersky, Lex Spoon, Bill Venners. Programming in Scala. 2nd edition

Martin Odersky, Lex Spoon, Bill Venners. Programming in Scala. 2nd edition

  • разное
  • pdf
  • 21.06 МБ
  • добавлен 25.02.2011
2e издание декабря 2010 года.
Известная книга Мартина Одерски по наиболее прогрессивному в наше время функциональному языку Scala. 879 стр. Язык: английский.
Overview.
Contents.
List of Figures.
List of Tables.
List of Listings.
Foreword.
Foreword to the First Edition.
Acknowledgments.
Int...
Эрвиг М. Побег от Зурга: упражнение в логическом программировании

Эрвиг М. Побег от Зурга: упражнение в логическом программировании

  • разное
  • pdf
  • 164.72 КБ
  • добавлен 01.02.2011
В этой статье показывается, как современные функциональные языки, например, Хаскель, могут эффективно использоваться для решения поисковых задач, вопреки широко распространённому мнению, что для подобных задач лучше подходит Пролог.
Фоккер Е. Систематическое конструирование однокомбинаторного базиса для ?-термов

Фоккер Е. Систематическое конструирование однокомбинаторного базиса для ?-термов

  • разное
  • pdf
  • 121.7 КБ
  • добавлен 01.02.2011
В этой статье описывается простое замкнутое ?-выражение, при помощи которого можно выразить все прочие ?-выражения. Его построение осуществляется систематическим образом. Полученное ?-выражение является более простым, чем известные из литературы однокомбинаторные базисы.
Городняя Л.В. Основы функционального программирования

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

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

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

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

Лекция - Функциональное программирование

  • лекции
  • doc,pdf
  • 3.21 МБ
  • добавлен 03.10.2011
Содержание.
Парадигма программирования.
Функциональные языки.
Свойства функциональных языков.
Быстрая сортировка Хоара на C.
Быстрая сортировка Хоара на языке Haskell.
Ленивость и нестрогость.
Немного о популярном языке.
Каррирование (карринг).
Определение функций.
Рекурсия.
Исп...
Нет изображения

Лабораторная работа - Знакомство с языком Lisp. Абстракция вычислений

  • лабараторные
  • zip
  • 166.12 КБ
  • добавлен 02.11.2009
Задача: Реализовать процедуру нахождения неподвижной точки методом итераций в общем виде, то есть параметризованную оператором преобразования процедуру, вычисляющую преобразование Ньютона, и применить её для реализации метода Ньютона в решении уравнения: $e^{x} - e^{-x} - 2 = 0$. Нахождение производной также реализовать в виде п...
Лабораторная работа - Отложенные вычисления и ленивые списки в Лиспе. Нисходящий разбор по заданной LL(1)-грамматике

Лабораторная работа - Отложенные вычисления и ленивые списки в Лиспе. Нисходящий разбор по заданной LL(1)-грамматике

  • лабараторные
  • pdf,txt
  • 776.61 КБ
  • добавлен 02.11.2009
Задача:
Написать программу, эмулирующую поведение детерминированного МП-автомата, составленного по заданной LL(1)-грамматике. Проверку принадлежности
строки языку выполнить в виде поиска допускающего состояния в истории вычислений автомата. Историю вычислений реализовать в виде отложенного списка, то есть
не допуска...
Нет изображения

Лабораторная работа - Реализация работы с полиномами на функциональном языке HOPE

  • лабараторные
  • zip
  • 1.5 КБ
  • добавлен 11.05.2010
Реализованы все задачи из спика заданий:

1) Определить тип данных Polynom – представление полиномов от одной переменной - x. Для представления можно, например, использовать списки. Полином в виде списка можно представить как список коэффициентов или как список пар чисел – (коэффициент, степень).

Например, поли...
Нет изображения

Лабораторная работа - Рекурсивные функции

  • лабараторные
  • txt
  • 2.03 КБ
  • добавлен 30.05.2011
A. Функция Позиция(x список) возвращает положение атома x в одноуровневом списке (первый элемент имеет номер 1). Если элемента в списке нет, то функция возвращает 0.
(Используется функция MEMBER)

b. Функция Сумма-дерева (дерево) возвращает сумму чисел в дереве. Нечисловые символы игнорируются
(Сумма-дерева ’((3...
Лабораторная работа на языке Лисп (Lisp) - Списки

Лабораторная работа на языке Лисп (Lisp) - Списки

  • лабараторные
  • doc
  • 40.5 КБ
  • добавлен 24.12.2010
НГТУ
Тема работы: Изучение рекурсивных структур языка на примере списка.
В программе реализованы такие функции, как:
Вывод списка на экран
Вставка элемента по номеру
Удаление элемента по номеру
Интерактивность реализована при помощи меню.
Лабораторная работа №5

Лабораторная работа №5

  • лабараторные
  • doc
  • 7.3 КБ
  • добавлен 19.11.2008
Отчет по лаб. работе на тему: "Арифметика и обработка списков в LISP. Задание функций". Задание: Реализовать средствами Лиспа пользовательские функции: UF1(x)=tn(x/8)+ctn(x/8), UF2(x)=ln^2 (x+4); связать с символом UFR двухэлементный список, элементами которого будут результаты вычисления соответственно первой и второй пользоват...
Лабораторная работа №7

Лабораторная работа №7

  • лабараторные
  • doc
  • 5.43 КБ
  • добавлен 19.11.2008
Отчет по лаб. работе на тему: "Организация итерационных вычислений в LISP. Свойства символов". Задание: Вычислить сумму ряда целых чётных чисел от n до 2n; Определить предикат, проверяющий, обладает ли символ заданным свойством. Отчет содержит листинг программы.
Реферат - Общие сведения о функциональном программировании

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

  • рефераты
  • doc
  • 164.8 КБ
  • добавлен 14.11.2009
Реферат.
Общие сведения о функциональном программировании.
Предисловие.
Введение.
Общие сведения о функциональном программировании.
История функционального программирования.
Основы функционального программирования.
Краткость и простота.
Строгая типизация.
Модульность.
Функции — это значени...
Реферат - Программирование на языке CLIPS

Реферат - Программирование на языке CLIPS

  • рефераты
  • pdf
  • 271.2 КБ
  • добавлен 18.12.2009
Название языка CLIPS — аббревиатура от С Language Integrated Production System. Язык был разработан в Центре космических исследований NASA (NASA's Johnson Space Center) в середине 1980-х годов и во многом сходен с языками, созданными на базе LISP, в частности OPS5 и ART.

Содержание

Краткая история CLIPS....
Курсовая работа - Поиск кратчайшего пути в лабиринте

Курсовая работа - Поиск кратчайшего пути в лабиринте

  • курсовые
  • doc
  • 370.5 КБ
  • добавлен 29.05.2010
Курсовая работа. По по предмету конструирование программ и языки программирования на тему: Поиск кратчайшего пути в лабиринте. Постановка задачи. Проектирование программы. Реализация программы. Модуль GRAPHICA. Модуль SHORTWAY. Модуль MOUSE. Описание работы программы. Методика и результаты тестирования. задачи. 22 стр.
Курсовой проект - Компилятор Lisp в промежуточный код RISC-архитектуры

Курсовой проект - Компилятор Lisp в промежуточный код RISC-архитектуры

  • курсовые
  • txt,pdf
  • 264.34 КБ
  • добавлен 02.11.2009
Задача:
Написать программу с нетривиального подмножества произвольного диалекта Лиспа (Lisp) в промежуточный код RISC-архитектуры

Компилятор --- это программа, предназначенная для трансляции высокоуровневого языка в абсолютный (машинный) код или,
иногда, в язык ассемблера. Входной информацией для компилятора (и...
Curien P.-L. Categorical Combinators, Sequential Algorithms, and Functional Programmimg

Curien P.-L. Categorical Combinators, Sequential Algorithms, and Functional Programmimg

  • разное
  • djvu
  • 2.14 МБ
  • добавлен 12.10.2011
Издательство Birkh?user, 1993, -424 pp.

The goal of this monograph is to give a concrete approach to the semantics of sequential programming languages, with application to the design and implementation of programming languages. Just as machines do not manipulate numbers, but representations of numbers, we do not present...
Derek Chen-Becker, Tyler Weir, Marius Danciu, The Definitive Guide to Lift: A Scala-based Web Framework

Derek Chen-Becker, Tyler Weir, Marius Danciu, The Definitive Guide to Lift: A Scala-based Web Framework

  • разное
  • pdf
  • 1.46 МБ
  • добавлен 10.05.2010
Paperback: 200 pages.
Publisher: Apress; 1 edition (May 15, 2009).
Language: English.
ISBN-10: 1430224215.
ISBN-13: 978-1430224211.
The Definitive Guide to Lift will educate you about Lift, a great framework for building compelling web applications. Lift is designed to make powerful techniques easily accessib...
Fogus M., Houser C. The Joy of Clojure: Thinking the Clojure

Fogus M., Houser C. The Joy of Clojure: Thinking the Clojure

  • разное
  • pdf
  • 22.01 МБ
  • добавлен 06.04.2011
Michael Fogus, Chris Houser. The Joy of Clojure: Thinking the Clojure. Manning Publications, 2011. - 360 p. - ISBN: 1935182641

Clojure is a dynamic programming language that targets the Java Virtual Machine. The Joy of Clojure goes beyond the syntax, and shows how to write fluent, idiomatic Clojure code. Readers will le...
Halloway S. Programming Clojure

Halloway S. Programming Clojure

  • разное
  • pdf
  • 1.61 МБ
  • добавлен 28.11.2009
Clojure is a dynamic language for the Java Virtual Machine, with a compelling combination of features: Clojure is elegant. Clojure's clean, careful design lets you write programs that get right to the essence of a problem, without a lot of clutter and ceremony.

Clojure is Lisp reloaded. Clojure has the power inherent in...
Hughes J. The Design of a Pretty-printer Library

Hughes J. The Design of a Pretty-printer Library

  • разное
  • pdf
  • 331.67 КБ
  • добавлен 05.03.2011
Статья одного из пропагандистов ФП о разработке библиотеки комбинаторов вывода. Реализация осуществлена на языке Haskell.

Краткое содержание:

Introduction
A Preview of the Pretty-printing Library
Deriving Functional Programs from Specifications
Designing a Sequence Type
Implementing Monads
M...
Kiselyov O. Strongly Typed Heterogeneous Collections

Kiselyov O. Strongly Typed Heterogeneous Collections

  • разное
  • pdf
  • 165.89 КБ
  • добавлен 09.03.2011
A shorter version of this paper appeared in the proceedings of the ACM SIGPLAN Haskell Workshop 2004, September 22, 2004, Snowbird, Utah, USA, Published by ACM Press. This longer version provides several appendices and some extra paragraphs.

Краткое содержание:

Introduction
Not so strongly typed collections...
Launchbury J., Peyton-Jones S.L. Lazy Functional State Threads

Launchbury J., Peyton-Jones S.L. Lazy Functional State Threads

  • разное
  • pdf
  • 291.25 КБ
  • добавлен 09.03.2011
John Launchbury and Simon L. Peyton Jones, Lazy Functional State Threads // In Programming Languages Design and Implementation. - ACM Press, 1993. - pp. 24-35.

Краткое содержание:

Introduction
Overview
Array references
Input/output
Formal semantics
Implementation
Other useful combinators...
Loverdos C.K.K., Syropoulos A. Steps in Scala

Loverdos C.K.K., Syropoulos A. Steps in Scala

  • разное
  • pdf
  • 12.25 МБ
  • добавлен 05.12.2011
CAMBRIDGE UNIVERSITY PRESS, 2010. - 485 p. - ISBN: 978-0-511-90054-9

Object-functional programming is already here. Scala is the most prominent representative of this exciting approach to programming, both in the small and in the large. In this book we show how Scala proves to be a highly expressive, concise, and scalab...
Реферат - Общие сведения о функциональном программировании

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

  • рефераты
  • doc
  • 164.8 КБ
  • добавлен 14.11.2009
Реферат.
Общие сведения о функциональном программировании.
Предисловие.
Введение.
Общие сведения о функциональном программировании.
История функционального программирования.
Основы функционального программирования.
Краткость и простота.
Строгая типизация.
Модульность.
Функции — это значени...
Курсовой проект - Компилятор Lisp в промежуточный код RISC-архитектуры

Курсовой проект - Компилятор Lisp в промежуточный код RISC-архитектуры

  • курсовые
  • txt,pdf
  • 264.34 КБ
  • добавлен 02.11.2009
Задача:
Написать программу с нетривиального подмножества произвольного диалекта Лиспа (Lisp) в промежуточный код RISC-архитектуры

Компилятор --- это программа, предназначенная для трансляции высокоуровневого языка в абсолютный (машинный) код или,
иногда, в язык ассемблера. Входной информацией для компилятора (и...
Курсовая работа - Поиск кратчайшего пути в лабиринте

Курсовая работа - Поиск кратчайшего пути в лабиринте

  • курсовые
  • doc
  • 370.5 КБ
  • добавлен 29.05.2010
Курсовая работа. По по предмету конструирование программ и языки программирования на тему: Поиск кратчайшего пути в лабиринте. Постановка задачи. Проектирование программы. Реализация программы. Модуль GRAPHICA. Модуль SHORTWAY. Модуль MOUSE. Описание работы программы. Методика и результаты тестирования. задачи. 22 стр.
Филд А., Харрисон П. Функциональное программирование

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

  • разное
  • djvu
  • 13.61 МБ
  • добавлен 29.04.2009
Москва "Мир" 1993
Рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием.
Паулсон Л. Основы функционального программирования

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

  • разное
  • doc
  • 764.98 КБ
  • добавлен 26.03.2010
Компьютерная лаборатория, Университет Кембридж, 1995 - 45 c.
Курс связан с ?-вычислениями и близкой к ним наукой – комбинаторной логикой
Содержание
1. Вступление
2. Равенство и нормализация
3. Кодирования данных в ?-вычислениях
4. Написание рекурсивных функций в ?-вычислениях
5. ?-вычисления и теория ...
Реферат - Программирование на языке CLIPS

Реферат - Программирование на языке CLIPS

  • рефераты
  • pdf
  • 271.2 КБ
  • добавлен 18.12.2009
Название языка CLIPS — аббревиатура от С Language Integrated Production System. Язык был разработан в Центре космических исследований NASA (NASA's Johnson Space Center) в середине 1980-х годов и во многом сходен с языками, созданными на базе LISP, в частности OPS5 и ART.

Содержание

Краткая история CLIPS....
Odersky M. Programming in Scala

Odersky M. Programming in Scala

  • разное
  • pdf
  • 4.84 МБ
  • добавлен 28.11.2009
Scala is an object-oriented programming language for the Java Virtual Machine. In addition to being object-oriented, Scala is also a functional language, and combines the best approaches to OO and functional programming.

Programming in Scala is the definitive book on Scala, the new language for the Java Platform that b...
Кубенский А.А. Функциональное программирование

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

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

Лабораторная работа - Знакомство с языком Lisp. Абстракция вычислений

  • лабараторные
  • zip
  • 166.12 КБ
  • добавлен 02.11.2009
Задача: Реализовать процедуру нахождения неподвижной точки методом итераций в общем виде, то есть параметризованную оператором преобразования процедуру, вычисляющую преобразование Ньютона, и применить её для реализации метода Ньютона в решении уравнения: $e^{x} - e^{-x} - 2 = 0$. Нахождение производной также реализовать в виде п...
Лабораторная работа №5

Лабораторная работа №5

  • лабараторные
  • doc
  • 7.3 КБ
  • добавлен 19.11.2008
Отчет по лаб. работе на тему: "Арифметика и обработка списков в LISP. Задание функций". Задание: Реализовать средствами Лиспа пользовательские функции: UF1(x)=tn(x/8)+ctn(x/8), UF2(x)=ln^2 (x+4); связать с символом UFR двухэлементный список, элементами которого будут результаты вычисления соответственно первой и второй пользоват...
Зюзьков В.М. Математическое введение в декларативное программирование

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

  • разное
  • pdf
  • 2.06 МБ
  • добавлен 25.09.2010
Учебное пособие. 2003. 83 с.

Рассматриваются математические основы декларативного и функционального программирования, лямбда-исчисление и методы доказательства теорем. Для примеров используются языки Prolog и Haskell.
Хендерсон П. Функциональное программирование. Применение и реализация

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

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

Лабораторная работа №7

  • лабараторные
  • doc
  • 5.43 КБ
  • добавлен 19.11.2008
Отчет по лаб. работе на тему: "Организация итерационных вычислений в LISP. Свойства символов". Задание: Вычислить сумму ряда целых чётных чисел от n до 2n; Определить предикат, проверяющий, обладает ли символ заданным свойством. Отчет содержит листинг программы.
Лабораторная работа на языке Лисп (Lisp) - Списки

Лабораторная работа на языке Лисп (Lisp) - Списки

  • лабараторные
  • doc
  • 40.5 КБ
  • добавлен 24.12.2010
НГТУ
Тема работы: Изучение рекурсивных структур языка на примере списка.
В программе реализованы такие функции, как:
Вывод списка на экран
Вставка элемента по номеру
Удаление элемента по номеру
Интерактивность реализована при помощи меню.
Лекция - Функциональное программирование

Лекция - Функциональное программирование

  • лекции
  • doc,pdf
  • 3.21 МБ
  • добавлен 03.10.2011
Содержание.
Парадигма программирования.
Функциональные языки.
Свойства функциональных языков.
Быстрая сортировка Хоара на C.
Быстрая сортировка Хоара на языке Haskell.
Ленивость и нестрогость.
Немного о популярном языке.
Каррирование (карринг).
Определение функций.
Рекурсия.
Исп...
Payne A. Programming Scala: Scalability = Functional Programming + Objects

Payne A. Programming Scala: Scalability = Functional Programming + Objects

  • разное
  • pdf
  • 3.37 МБ
  • добавлен 25.12.2009
Learn how to be more productive with Scala, a new multi-paradigm language for the Java Virtual Machine (JVM) that integrates features of both object-oriented and functional programming. With this book, you'll discover why Scala is ideal for highly scalable, component-based applications that support concurrency and distribution.
Городняя Л.В. Основы функционального программирования

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

  • разное
  • pdf
  • 1.13 МБ
  • добавлен 28.01.2011
М.: Изд-во "Интернет-университет информационных технологий - ИНТУИТ. ру", 2004. - 280 c.: ил. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эффективными методами преобразования информации, реализация которых требует многоуровневого обобщения и абстрагиро...
Martin Odersky, Lex Spoon, Bill Venners. Programming in Scala. 2nd edition

Martin Odersky, Lex Spoon, Bill Venners. Programming in Scala. 2nd edition

  • разное
  • pdf
  • 21.06 МБ
  • добавлен 25.02.2011
2e издание декабря 2010 года.
Известная книга Мартина Одерски по наиболее прогрессивному в наше время функциональному языку Scala. 879 стр. Язык: английский.
Overview.
Contents.
List of Figures.
List of Tables.
List of Listings.
Foreword.
Foreword to the First Edition.
Acknowledgments.
Int...
Шалимов П.Ю. Функциональное программирование

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

  • разное
  • djvu
  • 3.83 МБ
  • добавлен 08.09.2010
Учеб. пособие.

Рассмотрены вопросы функционального стиля программирования с позиций декларативного подхода, позволяющего повысить интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. В качестве базового языка рассматривается функциональный язык Лисп.
Изложение сопровождается мно...
Вольфенгаген В.Э., Яцук В.Я. Аппликативные вычислительные системы и концептуальный метод проектирования систем знаний

Вольфенгаген В.Э., Яцук В.Я. Аппликативные вычислительные системы и концептуальный метод проектирования систем знаний

  • разное
  • pdf
  • 5 МБ
  • добавлен 23.09.2010
Под. ред. проф. Л. А. Майбороды. М.: Министерство Обороны СССР, 1987. 256 с.

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