книги

Л. Ю. Исмаилова

Аппликативные вычислительные системы. Труды 3-й международной конференции по аппликативным вычислительным системам

Код 3147404

ISBN: 978-5-91329-022-9
297 страниц

февраль 2013
АСТ

Нет в продаже

Аннотация к книге "Аппликативные вычислительные системы. Труды 3-й международной конференции по аппликативным вычислительным системам"

За последние двадцать лет одним из наиболее интенсивно разрабатываемых понятий было и остается представление о вычислении (computing), которое оказалось оснащенным комплексом дисциплин, состав и содержание которых непрерывно трансформируется. Только в самое последнее время специальной объединенной комиссией Ассоциации по Вычислительной Технике (Association for Computing Machinery, ACM) и Компьютерным сообществом Института Инженеров по Электротехнике и Электронике (IEEE Computer Society) был представлен отчет, содержащий рекомендации по преподаванию информатики и типовым учебным планам этой дисциплины. Вместе с тем и процесс научного становления этой дисциплины нельзя считать завершенным. Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда-исчислении. Единственное, что существенно разрабатывается в этих системах -- это представление об объекте. В комбинаторной логике единственный метаоператор -- аппликация, или, по иной терминологии, приложение одного объекта к другому. В ламбда-исчислении два метаоператора -- аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте. Возникающие в этих системах объекты ведут себя как функциональные сущности, имеющие следующие особенности: (1) число аргументных мест, или арность объекта, заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами; (2) при конструировании составного объекта один из исходных объектов -- функция, -- применяется к другому -- аргументу, -- причем в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах; (3) разрешается самоприменимость функций, то есть объект может применяться сам к себе. АВС дают основания аппликативному подходу к программированию. Аппликативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он -- замкнут. Для осуществления аппликативного компьютинга применяют АВС.

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

Издательство:	АСТ
Дата выхода:	февраль 2013
ISBN:	978-5-91329-022-9
Объём:	297 страниц
Обложка:	мягкая

Вместе с этой книгой покупают

Динамические системы управления с неполной информацией: Алгоритмическое конструирование

Динамические системы управления с неполной... бумажная книга

Валерий Николаевич...

12.96 USD

В корзину

Театр на Таганке с Высоцким и без бумажная книга

Виктория Викторовна...

10.93 USD

В корзину

-7%

Сергей Прокофьев. Солнечный гений бумажная книга

Марина Израилевна...

9.72 USD 9.04 USD

В корзину

Самый лучший папа! Как оставаться в сердце ребенка, когда работаешь с утра до вечера

Самый лучший папа! Как оставаться в сердце... бумажная книга

Тосимаса Оота

Нет в продаже

Фридрих Львиный зев верхом на шмеле бумажная книга

Верена Райнхардт

16.32 USD

В корзину

Жертвы моды: опасная одежда прошлого и наших дней бумажная книга

Дейвид Элисон Мэтьюс

Нет в продаже

Динамические системы управления с неполной информацией:...

бумажная книга

Валерий Николаевич Афанасьев

Книга посвящена систематическому изложению методов математического конструирования систем управления с неполной информацией. Применение аналитических методов конструирования для систем управления с неполной информацией не дает реализуемых решений. Возникает необходимость развития таких методов, которые не требовали бы детального знания всего пространства состояния системы и ее взаимодействия со...

Издательство: URSS
Дата выхода: январь 2018

12.96 USD

В корзину

Театр на Таганке с Высоцким и без

бумажная книга

Виктория Викторовна Чичерина

В книге публикуются исторические очерки, посвященные Московскому театру драмы и комедии на Таганке, интервью с его ведущими артистами начала 1990-х годов, а также материалы о культурной жизни Москвы того времени, связанные с именем В. Высоцкого. В приложении представлены материалы обо всех спектаклях легендарной Таганки, театральных ролях Владимира Высоцкого, а также о некоторых его поэтических...

Издательство: Алгоритм
Дата выхода: январь 2019

10.93 USD

В корзину

Сергей Прокофьев. Солнечный гений

бумажная книга

Марина Израилевна Нестьева

Эта книга о жизни и творчестве Сергея Прокофьева — одного из выдающихся композиторов прошлого столетия и основателей русско-советской композиторской школы. Ученик Римского-Корсакова и Лядова, он с ранних лет был ниспровергателем отживших традиций и канонов в классической музыке. Сергей Прокофьев принадлежал к той плеяде творцов, кто создавал новую музыку по своим правилам, где каждое произведение...

Издательство: АСТ
Дата выхода: февраль 2019

9.72 USD 9.04 USD

В корзину

Фридрих Львиный зев верхом на шмеле

бумажная книга

Верена Райнхардт

Фридрих Львиный Зев - последний отпрыск легендарного рода шмелелетов, и только ему под силу разузнать, что затевается на диком Севере, - так утверждает королева. Вместе с Иеронимом Брумзелем, золотым шмелем, Фридрих отправляется в безумно опасное путешествие. И выясняет, что на Севере на самом-то деле все спокойно. Вот только королева уже запланировала войну, в результате которой она станет великим героем...

Издательство: Самокат
Дата выхода: декабрь 2018

16.32 USD

В корзину