Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Lambda-Calculus and Combinators

Limba englezăengleză
Carte Copertă tare
Carte Lambda-Calculus and Combinators J Roger Hindley
Codul Libristo: 04095970
Editura Cambridge University Press, iulie 2008
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into li... Descrierea completă
? points 242 b
526.75 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Top
Geographers of the Ancient Greek World 2 Volume Hardback Set D. Graham J. Shipley / Carte Carte broșată
common.buy 1 476.29 lei
La Tregua Interior ATAHUALPA CAMPOS / Carte Carte broșată
common.buy 67.63 lei
Nou
Landesrecht Sachsen Kurt Faßbender / Carte Carte broșată
common.buy 176.93 lei
LA VERDAD QUE NOS UNE CAMPOS / Carte Carte broșată
common.buy 67.63 lei
La vita dopo Lettere Il Fuori Corso / Carte Carte broșată
common.buy 65.65 lei
miniLÜK. Tl.1 Heinz Vogel / Carte Foaie
common.buy 43.21 lei
Transitions: Les nouvelles Annales des Ponts et Chaussées, n°4 Tassin / Carte Carte
common.buy 163.26 lei
In This City They Call You Love Richard Hawley / Audio Audio CD
common.buy 83.50 lei
Ein Aquarell über das Leben von Straßenjugendlichen Fernanda Silva de Almeida Resende / Carte Carte broșată
common.buy 307.21 lei
Wie man einen Dino besiegt Hans Wilhelm / Carte Copertă tare
common.buy 37.36 lei
Georg Simon Ohm. Briefe, Urkunden und Dokumente Ludwig Hartmann / Carte Carte broșată
common.buy 201.47 lei
Vulnérabilités au travail naissance et actualité de la psychopathologie du travail Veil / Carte Carte broșată
common.buy 111.48 lei
L'avion COLLECTIFS JEUN / Videoclip Blu-ray
common.buy 71.50 lei
Suka doskonała Jolanta Dymowicz / Carte Carte broșată
common.buy 62.00 lei
Törött tükör V. C. Andrews / Carte Carte broșată
common.buy 44.36 lei
Best Of R.E.M.At The BBC R. E. M. / Audio Audio CD
common.buy 98.22 lei
praktische Theologie nach den Grundsatzen der evangelischen Kirche im Zusammenhang dargestellt Friedrich Schleiermacher / Carte Copertă tare
common.buy 1 592.79 lei
Projekt Hereze Marek Mahler / Carte Copertă tare
common.buy 56.26 lei
Icones plantarum medicinalium Johannes Zorn / Carte Carte broșată
common.buy 114.51 lei

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version, first published in 2008, is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Lambda-Calculus and Combinators
Autor J Roger Hindley
Limba engleză
Legare Carte - Copertă tare
Data publicării 2008
Număr pagini 358
EAN 9780521898850
ISBN 0521898854
Codul Libristo 04095970
Editura Cambridge University Press
Greutatea 676
Dimensiuni 159 x 237 x 24

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Top
Logic: A Very Short Introduction Graham Priest / Carte Carte broșată
common.buy 59.60 lei
Typed Lambda Calculi and Applications Samson Abramsky / Carte Carte broșată
common.buy 286.33 lei
Cambridge Grammar of Classical Greek Evert van Emde Boas / Carte Carte broșată
common.buy 264.73 lei
Top
Programming in Haskell Graham Hutton / Carte Carte broșată
common.buy 239.15 lei
Handbook of Epistemic Logic Hans Van Ditmarsch / Carte Carte broșată
common.buy 156.99 lei
Greek Religion: Volume 46 Bremmer / Carte Carte broșată
common.buy 141.33 lei
From Teacher to Trainer Matthew T. Ellman / Carte Carte broșată
common.buy 249.59 lei
Introduction to Lambada Calculi for Computer Scientists C Hankin / Carte Carte broșată
common.buy 102.19 lei
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Carte Carte broșată
common.buy 156.99 lei
Nou
LADY ELIZABETH HAWTHORNE MYSTERIES - BOOKS 1-3 Olivia Rose / Carte Carte broșată
common.buy 179.75 lei
Lamp to Illuminate the Five Stages Tsongkhapa / Carte Copertă tare
common.buy 252.20 lei
Landscape Architecture Documentation Standards - Principles, Guidelines and Best Practices Design Workshop / Carte Carte broșată
common.buy 479.77 lei
Compilation Of Laws Relating To Mediation, Conciliation And Arbitration Between Employers And Employees United States Congress House / Carte Carte broșată
common.buy 91.12 lei
Top
Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth / Carte Copertă tare
common.buy 1 453.64 lei
Restricted Data – The History of Nuclear Secrecy in the United States Alex Wellerstein / Carte Carte broșată
common.buy 108.87 lei
Jelly Roll Baskets & Bags Carolyn Vagts / Carte Carte broșată
common.buy 66.49 lei
Hegel und die Herausforderungen unserer Zeit / Facing the challenges of our time with Hegel Klaus Vieweg / Carte Copertă tare
common.buy 465.47 lei
Criminal Justice in Eighteenth-Century Mexico Colin M. MacLachlan / Carte Copertă tare
common.buy 499.29 lei
Call of the Wraith Kevin Sands / Carte Carte broșată
common.buy 47.17 lei
The Golf Psychology Workbook: How to Use Advanced Sports Psychology to Succeed on the Golf Course Danny Uribe Masep / Carte Carte broșată
common.buy 86.53 lei
Top
Dead Space - Martyr EVENSON BRIAN / Carte Carte broșată
common.buy 60.64 lei
Thailand: The Monocle Handbook Amy van Den Berg / Carte Copertă tare
common.buy 208.88 lei
Looking up: Poems by Lois Read Lois Read / Carte Carte broșată
common.buy 82.15 lei
Knox's Stand Jamie Begley / Carte Carte broșată
common.buy 67.11 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo