Ѕиблиотека ёр»нфо–® >>> ¬несерийные издани€ >>>

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


ќбложка.  рупно.
ISBN 978-5-91329-022-9
2012. 144 c.
ЅЅ  32.97€431(2–ос)
”ƒ  004.7(063)
÷ена 1
165
÷ена 2
-
÷ены действительны до
06.12.2022
÷ена 1 с учетом Ќƒ—
÷ена 2 с учетом почтовых расходов по –‘ и Ќƒ—.
ѕќЋќ∆»“№ ¬  ќ–«»Ќ”


јннотаци€


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


—м. также


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

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

.

«а последние двадцать лет одним из наиболее интенсивно разрабатываемых пон€тий было и остаетс€ представление о вычислении (computing), которое оказалось оснащенным комплексом дисциплин, состав и содержание которых непрерывно трансформируетс€. “олько в самое последнее врем€ специальной объединенной комиссией јссоциации по ¬ычислительной “ехнике (Association for Computing Machinery, ACM) и  омпьютерным сообществом »нститута »нженеров по Ёлектротехнике и Ёлектронике (IEEE Computer Society) был представлен отчет, содержащий рекомендации по преподаванию информатики и типовым учебным планам этой дисциплины. ¬месте с тем и процесс научного становлени€ этой дисциплины нельз€ считать завершенным.

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

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


—м. также

Wolfengagen V.E. Combinatory logic in programming. Computations with objects through examples and exercises.

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