ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Внесерийные издания >>>

Аппликативные вычислительные системы: Труды 3-й международной конференции вычислительным системам (АВС'2012), Москва, 26-28 ноября 2012 г.

ISBN 978-5-91329-022-9
2012. 144 c.
ББК 32.97я431(2Рос)
УДК 004.7(063)
Цена 1
165
Цена 2
397
Цены действительны до
29.03.2024
Цена 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.

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