книги Наука, техника, медицина Гуманитарные науки Философия Прикладная философия

Binary lambda calculus

Код 3369912

  • ISBN: 978-5-5083-2571-8

Нет в продаже

Аннотация к книге "Binary lambda calculus"

High Quality Content by WIKIPEDIA articles! Binary lambda calculus (BLC) is a technique for using the lambda calculus to study Kolmogorov complexity, by working with a standard binary encoding of lambda terms, and a designated universal machine. Binary lambda calculus is a new idea introduced by John Tromp in 2008.

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

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

ISBN: 978-5-5083-2571-8

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

Отраслевая экономика Методология Справочники Словари-справочники

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

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

Просмотренные категории

Интернет Сборники