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

Rambler's Top100
Rambler's Top100

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

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


Обложка. Крупно.
ISBN 978-5-91329-022-9
2012. 144 c.
ББК 32.97я431(2Рос)
УДК 004.7(063)
 
Цена 1
165.00
Цена 2
397.00
Цены действительны до
31.05.2015
Цена 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.

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

Наследие

Всё научное наследие за 4037 руб.

Подробнее...

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

Ru | En | Ch

<-- -->
Обложки книг
Книгоиздание
Новинки
Подписные книги
Рецензии
Предложения
Наши координаты
Книготорговля
Книги по годам
Скидки
Цены (.html)
Где и как купить
Подписка на новости
Хит продаж
Бабкин С.А. Интеллектуаль- ная собственность в Сети «Интернет».
Новинка
Обучающая игра Налоговое право
Новинка
Обучающая игра Теория государства и права


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

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

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