книги Наука, техника, медицина Естественные науки Точные науки Математика Другие издания по математике

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

Код 826488

  • ISBN: 978-5-91329-018-2
  • 110 страниц
  • ноябрь 2010
  • АСТ
  • 120 г

Нет в продаже

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

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

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

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

#

2010, ноябрь:книга на бумаге "Аппликативные вычислительные системы. Труды 2-й международной конференции по аппликативным вычислительным системам", ISBN: 978-5-91329-018-2, издательство "АСТ", 110 стр.

Исмаилова Л.Ю., ред.
Нет в продаже 0
#

2008, август:книга на бумаге "Аппликативные вычислительные системы", ISBN: 978-5-89158-157-9, издательство "ЮрИнфоР", 48 стр., мягкая обложка, тираж 3000 экземпляров

Л. Ю. Исмаилова
Нет в продаже 1
Издательство: АСТ
Дата выхода: ноябрь 2010
ISBN: 978-5-91329-018-2
Объём: 110 страниц
Масса: 120 г

Книганаходится в категориях

Языки распродажа

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

Просмотренные товары