Ѕиблиотека ёр»нфо–® >>>  омпьютерные науки и информационные технологии >>>

јппликативные вычислительные системы: “руды конференции по аппликативным вычислительным системам (ј¬—'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.03.2021
÷ена 1 с учетом Ќƒ—
÷ена 2 с учетом почтовых расходов по –‘ и Ќƒ—.


јннотаци€


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


—м. также

/ ѕод ред. Ћ.ё.»смаиловой.

.

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

јппликативный компьютинг предполагает комбинационное построение вычислени€ как относительно самосто€тельного блока, пользу€сь уже имеющимис€ блоками вычислений, причем все переменные в каждом блоке вычислени€ св€заны, а сам он - замкнут. ƒл€ осуществлени€ аппликативного компьютинга примен€ют ј¬—.


—м. также

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