ЮрИнфоР
Логотип ЮрИнфоР
предлагает

Rambler's Top100
Rambler's Top100

"ЮрИнфоР®" >>> Библиотека ЮрИнфоР® >>>

Аппликативные вычислительные системы: Труды конференции по аппликативным вычислительным системам (АВС'2008), Москва, 29-30 апреля 2008 г


Обложка. Крупно.
ISBN 978-5-89158-157-9
2008. 48 c.
ББК 32.97я431(2Рос)
УДК 004.7(063)
Мягкий переплет.
 
Цена 1
77.00
Цена 2
257.00
Цены действительны до
31.05.2015
Цена 1 с учетом НДС
Цена 2 с учетом почтовых расходов по РФ и НДС.


Аннотация


Как приобрести


См. также

/ Под ред. Л.Ю.Исмаиловой.

.

Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах - это представление об объекте. В комбинаторной логике единственный метаоператор - аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора - аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте. Возникающие в этих системах объекты ведут себя как функциональные сущности, имеющие следующие особенности: (1) число аргументных мест, или арность объекта заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами; (2) при конструировании составного объекта один из исходных объектов - функция, - применяется к другому - аргументу, - причем в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах; (3) разрешается самоприменимость функций, то есть объект может применяться сам к себе. АВС дают основания аппликативному подходу к программированию.

Аппликативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он - замкнут. Для осуществления аппликативного компьютинга применяют АВС.


См. также

Дополнительные учебно-методические материалы и компьютерные обучающие средства (практикумы, активные книги)

Система Orphus
Рекомендовать

Ru | En | Ch

<-- -->
Обложки книг
Книгоиздание
Новинки
Подписные книги
Рецензии
Предложения
Наши координаты
Книготорговля
Книги по годам
Скидки
Цены (.html)
Где и как купить
Подписка на новости
Хит продаж
Вольфенгаген В.Э. Парадигма функционально- го программирова- ния. Под ред. к.т.н. Л.Ю.Исмаиловой


Курсы : : Семинары по праву : : Книги : : Программы : : Юридическое сопровождение : : ИТ-услуги : : Конференции :

Выделите орфографическую ошибку мышью и нажмите Ctrl+Enter

Copyright (C) Институт "ЮрИнфоР-МГУ", 1994-2019