A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Lambda Calculus with Types

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Lambda Calculus with Types Henk Barendregt
Libristo kód: 04372660
Kiadó Cambridge University Press, június 2013
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software d... Teljes leírás
? points 285 b
42 858 Ft
Beszállítói készleten Küldés 14-21 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Interactive Theorem Proving and Program Development Yves Bertot / Könyv Puha kötésű
common.buy 33 965 Ft
Types and Programming Languages Pierce / Könyv Kemény kötésű
common.buy 40 210 Ft

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Lambda Calculus with Types
Szerző Henk Barendregt
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2013
Oldalszám 856
EAN 9780521766142
ISBN 0521766141
Libristo kód 04372660
Kiadó Cambridge University Press
Súly 1614
Méretek 249 x 179 x 49

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Toplistás
Let Over Lambda Doug Hoyte / Könyv Puha kötésű
common.buy 16 074 Ft
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Könyv Puha kötésű
common.buy 11 466 Ft
A Lambda Calculus Satellite Giulio Manzonetto / Könyv Kemény kötésű
common.buy 17 260 Ft
An Introduction to Classical and Modal Logics Adam Bjorndahl / Könyv Puha kötésű
common.buy 13 226 Ft
Toplistás
Category Theory in Context Riehl / Könyv Puha kötésű
common.buy 10 744 Ft
Logic and Structure Dirk van Dalen / Könyv Puha kötésű
common.buy 31 616 Ft
An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities George Boole / Könyv Kemény kötésű
common.buy 10 730 Ft
Manufacturing the Future Stephen B. AdamsOrville R. Butler / Könyv Puha kötésű
common.buy 17 654 Ft
Democratic Phoenix Pippa Norris / Könyv Kemény kötésű
common.buy 39 788 Ft
Model Theory Chen Chung Chang / Könyv Puha kötésű
common.buy 10 730 Ft
Homeric Dictionary for Use in Schools and Colleges Georg Autenrieth / Könyv Puha kötésű
common.buy 17 654 Ft
First-Order Logic and Automated Theorem Proving Melvin Fitting / Könyv Puha kötésű
common.buy 38 616 Ft
Incompleteness Rebecca Goldstein / Könyv Puha kötésű
common.buy 7 778 Ft
Programming in Haskell Graham Hutton / Könyv Puha kötésű
common.buy 17 004 Ft
Mathematical Analysis Binmore / Könyv Puha kötésű
common.buy 33 395 Ft
Quantum Computing for Computer Scientists Noson S Yanofsky / Könyv Kemény kötésű
common.buy 36 841 Ft
Toplistás
Jujutsu Kaisen, Vol. 1 Gege Akutami / Könyv Puha kötésű
common.buy 3 626 Ft
Toplistás
Zerner - Farber Tarot Amy Zerner / Nyomtatványok Kártya
common.buy 9 268 Ft
Us and Them: The Science of Identity David Berreby / Könyv Puha kötésű
common.buy 6 502 Ft
Puppetry in Theatre and Arts Education Johanna Smith / Könyv Puha kötésű
common.buy 15 110 Ft
Measure Theory and Fine Properties of Functions, Revised Edition Evans / Könyv Kemény kötésű
common.buy 43 086 Ft
Us and Them David Campton / Könyv Puha kötésű
common.buy 5 899 Ft
Little Gay History R B Parkinson / Könyv Puha kötésű
common.buy 4 603 Ft
Toplistás
Blue Period 1 Tsubasa Yamaguchi / Könyv Puha kötésű
common.buy 3 944 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?