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

Rho Calculus

Код 1129452

Нет в продаже

Аннотация к книге "Rho Calculus"

High Quality Content by WIKIPEDIA articles! The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting. In mathematical logic and computer science, lambda calculus, also written as ?-calculus, is a formal system for function definition, function application and recursion. It was introduced by Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics. After the original system was...

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

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

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1322-3854-2
Объём: 124 страниц
Масса: 209 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

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