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





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

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

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

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

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

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

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

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

лабараторные
Реализованы все задачи из спика заданий:

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

Например, поли...
11.05.2010 в 11:40 1.5 Кб zip 8 раз
Нет изображения

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

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

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

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

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

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

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

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

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

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

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

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

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

Содержание

Краткая история CLIPS....
18.12.2009 в 12:59 271.2 Кб pdf 33 раз
Курсовая работа - Поиск кратчайшего пути в лабиринте

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

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

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

курсовые
Задача:
Написать программу с нетривиального подмножества произвольного диалекта Лиспа (Lisp) в промежуточный код RISC-архитектуры

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

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

разное
Издательство 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...
12.10.2011 в 01:02 2.14 Мб djvu 2 раза
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

разное
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...
10.05.2010 в 02:33 1.46 Мб pdf 13 раз
Fogus M., Houser C. The Joy of Clojure: Thinking the Clojure

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

разное
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...
06.04.2011 в 18:41 22.01 Мб pdf 12 раз
Halloway S. Programming Clojure

Halloway S. Programming Clojure

разное
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...
28.11.2009 в 00:35 1.61 Мб pdf 16 раз
Hughes J. The Design of a Pretty-printer Library

Hughes J. The Design of a Pretty-printer Library

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

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

Introduction
A Preview of the Pretty-printing Library
Deriving Functional Programs from Specifications
Designing a Sequence Type
Implementing Monads
M...
05.03.2011 в 13:16 331.67 Кб pdf 1 раз
Kiselyov O. Strongly Typed Heterogeneous Collections

Kiselyov O. Strongly Typed Heterogeneous Collections

разное
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...
09.03.2011 в 12:21 165.89 Кб pdf 1 раз
Launchbury J., Peyton-Jones S.L. Lazy Functional State Threads

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

разное
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...
09.03.2011 в 12:27 291.25 Кб pdf 1 раз
Loverdos C.K.K., Syropoulos A. Steps in Scala

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

разное
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...
05.12.2011 в 02:12 12.25 Мб pdf 1 раз
Nielson F., Nielson H.R. Two-Level Functional Languages

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

разное
Издательство 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 ...
03.02.2012 в 00:01 1.48 Мб djvu 1 раз
Харрисон Джон. Введение в функциональное программирование (пер. с англ.)

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

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

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

разное
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...
05.12.2011 в 02:12 12.25 Мб pdf 1 раз
Curien P.-L. Categorical Combinators, Sequential Algorithms, and Functional Programmimg

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

разное
Издательство 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...
12.10.2011 в 01:02 2.14 Мб djvu 2 раза
Лекция - Функциональное программирование

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

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

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

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

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

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

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

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

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

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

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

разное
ИНТУИТ, 2004. - 150 с.

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

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

разное
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...
06.04.2011 в 18:41 22.01 Мб pdf 12 раз
Peyton-Jones S., Bolingbroke M. Supercompilation by Evaluation

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

разное
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...
09.03.2011 в 12:35 315.49 Кб pdf 1 раза
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

разное
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
09.03.2011 в 12:31 246.78 Кб pdf 1 раза
Launchbury J., Peyton-Jones S.L. Lazy Functional State Threads

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

разное
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...
09.03.2011 в 12:27 291.25 Кб pdf 1 раз
Kiselyov O. Strongly Typed Heterogeneous Collections

Kiselyov O. Strongly Typed Heterogeneous Collections

разное
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...
09.03.2011 в 12:21 165.89 Кб pdf 1 раз
Hughes J. The Design of a Pretty-printer Library

Hughes J. The Design of a Pretty-printer Library

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

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

Introduction
A Preview of the Pretty-printing Library
Deriving Functional Programs from Specifications
Designing a Sequence Type
Implementing Monads
M...
05.03.2011 в 13:16 331.67 Кб pdf 1 раз
Martin Odersky, Lex Spoon, Bill Venners. Programming in Scala. 2nd edition

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

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

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

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

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

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

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

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

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

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

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

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

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

курсовые
Задача:
Написать программу с нетривиального подмножества произвольного диалекта Лиспа (Lisp) в промежуточный код RISC-архитектуры

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

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

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

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

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

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

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

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

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

Содержание

Краткая история CLIPS....
18.12.2009 в 12:59 271.2 Кб pdf 33 раз
Odersky M. Programming in Scala

Odersky M. Programming in Scala

разное
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...
28.11.2009 в 00:27 4.84 Мб pdf 31 раз
Кубенский А.А. Функциональное программирование

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

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

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

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

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

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

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

разное
Учебное пособие. 2003. 83 с.

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

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

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

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

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

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

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

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

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

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

разное
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.
25.12.2009 в 18:42 3.37 Мб pdf 24 раз
Городняя Л.В. Основы функционального программирования

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

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

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

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

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

разное
Учеб. пособие.

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

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

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

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