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

јппликативные вычислительные системы: “руды 2-й международной конференции по аппликативным вычислительным системам (ј¬—'2010), ћосква, 29-31 окт€бр€ 2010 г


ќбложка.  рупно.
ISBN 978-5-91329-018-2
2010. 110 c.
ЅЅ  32.97€431(2–ос)
”ƒ  004.7(063)
ћ€гкий переплет.

÷ена 1
121.00
÷ена 2
319.00
ѕќЋќ∆»“№ ¬  ќ–«»Ќ”
÷ены действительны до
30.10.2022
÷ена 1 с учетом Ќƒ—
÷ена 2 с учетом почтовых расходов по –‘ и Ќƒ—.


јннотаци€


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


—м. также


ѕќЋќ∆»“№ ¬  ќ–«»Ќ”

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

.

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

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

 онференци€ осуществл€етс€ при поддержке –‘‘», проект є 10-07-06080-г.


—м. также

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