Näita mobiiliversiooni

Liigu sisu juurde Liigu peamenüü juurde

Avaleht / Raamatud / Teadus / Füüsika ja matemaatika / Lambda-Calculus and Combinators

Raamat

Lambda-Calculus and Combinators

Autor: J. Roger Hindley (University of Wales, Swansea), Jonathan P. Seldin (University of Lethbridge, Alberta)

* * * * * * * * * * Loe arvustusi (0)

84.74 80.50 €Toodet on alles vähem kui 10 eksemplari!

Kaup kätte: Kiirtellimusega: kolmapäev 19.12

Sisukirjeldus

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

Lisainfo
ISBN 9780521898850
Ilmumisaasta 2008
Keel ingliskeelne
Formaat Kõvakaaneline
Lehekülgi 358 lk
Mõõt 235x159x24 (mm)
Kirjastus CAMBRIDGE UNIVERSITY PRESS
Lisamise aeg: 15.01.2011

84.74 80.50 €Toodet on alles vähem kui 10 eksemplari!

Kaup kätte: Kiirtellimusega: kolmapäev 19.12

Arvustused (0)
Suhtlusvõrkude arvustused

Vabandame! Teie veebilehitseja on liiga väike meie kodulehe külastamiseks.

We're sorry! Your browser is too small for this website.

Приносим извинения! Размеры вашего браузера слишком малы для посещения нашей страницы.