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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.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
525.04 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Geographers of the Ancient Greek World 2 Volume Hardback Set D. Graham J. Shipley / Carte Carte broșată
common.buy 1 471.49 lei
La Tregua Interior ATAHUALPA CAMPOS / Carte Carte broșată
common.buy 67.41 lei
Landesrecht Sachsen Kurt Faßbender / Carte Carte broșată
common.buy 176.36 lei
LA VERDAD QUE NOS UNE CAMPOS / Carte Carte broșată
common.buy 67.41 lei
La vita dopo Lettere Il Fuori Corso / Carte Carte broșată
common.buy 65.44 lei
Curând
Claymore 09. Bd.9 Norihiro Yagi / Carte Carte broșată
common.buy 48.79 lei
miniLÜK. Tl.1 Heinz Vogel / Carte Foaie
common.buy 43.07 lei
Obezita Malými krůčky k velké změně Iva Málková / Carte Carte broșată
common.buy 36.20 lei
Transitions: Les nouvelles Annales des Ponts et Chaussées, n°4 Tassin / Carte Carte
common.buy 162.10 lei
Ein Aquarell über das Leben von Straßenjugendlichen Fernanda Silva de Almeida Resende / Carte Carte broșată
common.buy 306.21 lei
Wie man einen Dino besiegt Hans Wilhelm / Carte Copertă tare
common.buy 37.03 lei
Georg Simon Ohm. Briefe, Urkunden und Dokumente Ludwig Hartmann / Carte Carte broșată
common.buy 200.81 lei
Leftin
Psychológia masových vrahov Andrej Drbohlav / Carte Carte broșată
common.buy 139.94 lei
Symbiosen, Rituale, Routinen: Technik als Identitätsbestandteil. Technikakzeptanz der 1920er bis 1960er Jahre Rolf-Ulrich Kunze / Carte Carte broșată
common.buy 265.84 lei
Vulnérabilités au travail naissance et actualité de la psychopathologie du travail Veil / Carte Carte broșată
common.buy 110.28 lei
L'avion COLLECTIFS JEUN / Videoclip Blu-ray
common.buy 70.43 lei
Suka doskonała Jolanta Dymowicz / Carte Carte broșată
common.buy 61.80 lei
Törött tükör V. C. Andrews / Carte Carte broșată
common.buy 44.21 lei
Best Of R.E.M.At The BBC R. E. M. / Audio Audio CD
common.buy 97.90 lei
praktische Theologie nach den Grundsatzen der evangelischen Kirche im Zusammenhang dargestellt Friedrich Schleiermacher / Carte Copertă tare
common.buy 1 587.61 lei
Projekt Hereze Marek Mahler / Carte Copertă tare
common.buy 56.07 lei
Icones plantarum medicinalium Johannes Zorn / Carte Carte broșată
common.buy 114.13 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.40 lei
Typed Lambda Calculi and Applications Samson Abramsky / Carte Carte broșată
common.buy 285.40 lei
Cambridge Grammar of Classical Greek Evert van Emde Boas / Carte Carte broșată
common.buy 286.03 lei
Programming in Haskell Graham Hutton / Carte Carte broșată
common.buy 244.82 lei
Greek Religion: Volume 46 Bremmer / Carte Carte broșată
common.buy 140.88 lei
From Teacher to Trainer Matthew T. Ellman / Carte Carte broșată
common.buy 211.22 lei
Handbook of Epistemic Logic Hans Van Ditmarsch / Carte Carte broșată
common.buy 156.48 lei
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Carte Carte broșată
common.buy 156.48 lei
Introduction to Lambada Calculi for Computer Scientists C Hankin / Carte Carte broșată
common.buy 101.86 lei
LADY ELIZABETH HAWTHORNE MYSTERIES - BOOKS 1-3 Olivia Rose / Carte Carte broșată
common.buy 179.17 lei
Lamp to Illuminate the Five Stages Tsongkhapa / Carte Copertă tare
common.buy 251.38 lei
Landscape Architecture Documentation Standards - Principles, Guidelines and Best Practices Design Workshop / Carte Carte broșată
common.buy 478.00 lei
Call of the Wraith Kevin Sands / Carte Carte broșată
common.buy 47.02 lei
Knox's Stand Jamie Begley / Carte Carte broșată
common.buy 66.89 lei
Looking up: Poems by Lois Read Lois Read / Carte Carte broșată
common.buy 81.88 lei
Sound of Falling Leaves Lisa Carter / Carte Carte broșată
common.buy 87.29 lei
Story Box Magma und Claudia Boldt / Materiale tipărite Cărți
common.buy 77.09 lei
Food Industry Patricia Alexandra Batista Branco / Carte Copertă tare
common.buy 793.91 lei
Thailand: The Monocle Handbook Amy van Den Berg / Carte Copertă tare
common.buy 190.20 lei
The Rare Bird Elisha Cooper / Carte Copertă tare
common.buy 79.07 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.25 lei
Restricted Data – The History of Nuclear Secrecy in the United States Alex Wellerstein / Carte Carte broșată
common.buy 108.52 lei
Criminal Justice in Eighteenth-Century Mexico Colin M. MacLachlan / Carte Copertă tare
common.buy 497.67 lei
Harry Potter: The Costumes of the Wizarding World REVENSON JODY / Carte Copertă tare
common.buy 230.99 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?