книги Компьютеры и Интернет Программирование Языки

Аппликативные вычислительные системы

Код 604402

  • ISBN: 978-5-89158-157-9
  • 48 страниц
  • август 2008
  • ЮрИнфоР
  • 40 г

Нет в продаже

Аннотация к книге "Аппликативные вычислительные системы"

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

Не покупайте эту брошюрку. Она не содержит никаких "трудов конференции". В ней находятся только аннотации статей + краткое содержание доклада. По-сути аппликативных систем там ничего нет. Может быть полезно только тем, кто опоздал на эту конференцию, но хотел бы почитать - чем примерно занимаются авторы докладов.

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

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

Издательство: ЮрИнфоР
Дата выхода: август 2008
ISBN: 978-5-89158-157-9
Тираж: 3 000 экземпляров
Объём: 48 страниц
Масса: 40 г
Размеры(высота, ширина, толщина), см: 20 x 15 x 1
Обложка: мягкая

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