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

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.

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

Кодексы

Все кодексы за 1947 руб.

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

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

Ru | En | Ch

<-- -->
Обложки книг
Книгоиздание
Новинки
Подписные книги
Рецензии
Предложения
Наши координаты
Книготорговля
Книги по годам
Скидки
Цены (.html)
Где и как купить
Подписка на новости
Хит продаж
Колодкин Л.М. Социология. Курс лекций
Хит продаж
Вольфенгаген В.Э. Логика. Конспект лекций. Техника рассуждений
Хит продаж
Соколов А.А. Теория налогов. Вступительная статья доктора юрид. наук, профессора И.И.Кучерова


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

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

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