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.

Type Theory and Formal Proof

Limba englezăengleză
Carte Copertă tare
Carte Type Theory and Formal Proof Rob Nederpelt
Codul Libristo: 02467535
Editura Cambridge University Press, noiembrie 2014
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. T... Descrierea completă
? points 252 b Top Top
545.26 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Simple Type Theory William Farmer / Carte Copertă tare
common.buy 445.01 lei
Higher-Order Logic and Type Theory John L. Bell / Carte Carte broșată
common.buy 143.94 lei
Evil by Design - Interaction design to lead us into temptation Chris Nodder / Carte Carte broșată
common.buy 168.12 lei
Trump: How to Get Rich Donald J. Trump / Carte Carte broșată
common.buy 42.12 lei

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems culminating in the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalize mathematics. The only prerequisites are a good knowledge of undergraduate algebra and analysis. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarize themselves with the material.

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 Type Theory and Formal Proof
Autor Rob Nederpelt, Herman Geuvers
Limba engleză
Legare Carte - Copertă tare
Data publicării 2014
Număr pagini 466
EAN 9781107036505
ISBN 110703650X
Codul Libristo 02467535
Editura Cambridge University Press
Greutatea 952
Dimensiuni 177 x 254 x 29

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
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

Basic Proof Theory Anne S. Troelstra / Carte Carte broșată
common.buy 342.37 lei
Types and Programming Languages Pierce / Carte Copertă tare
common.buy 577.43 lei
Top
Implementing Domain-Driven Design Vaughn Vernon / Carte Copertă tare
common.buy 291.10 lei
Categories for Types Crole / Carte Carte broșată
common.buy 476.97 lei
Advanced Calculus of Several Variables C. H. Edwards / Carte Carte broșată
common.buy 128.37 lei
Top
Grammar and Vocabulary for Advanced Book with Answers and Audio Martin Hewings / Carte Carte broșată
common.buy 182.44 lei
Babi and Baha'i Religions Peter Smith / Carte Carte broșată
common.buy 312.06 lei
Top
Cambridge IGCSE (TM) Physics Coursebook with Digital Access (2 Years) Mike Follows / Carte Carte broșată
common.buy 289.13 lei
Top
English Vocabulary in Use: Advanced Book with Answers Michael McCarthy / Carte Carte broșată
common.buy 148.92 lei
Algebraic Topology Hatcher / Carte Carte broșată
common.buy 262.14 lei
Basic Category Theory for Computer Scientists ierce Benjamin / Carte Carte broșată
common.buy 191.88 lei
Caledonia, or an Account, Historical and Topographic, of North Britain, from the Most Ancient to the Present Times George Chalmers / Carte Copertă tare
common.buy 277.30 lei
Husserlian Intentionality and Non-Foundational Realism J.J. Drummond / Carte Carte broșată
common.buy 1 247.24 lei
Top
That Time I Got Reincarnated as a Slime 27 Taiki Kawakami / Carte Carte broșată
common.buy 59.25 lei
Top
Paw Patrol Pocket Library Paw Patrol / Carte Cărți pliante
common.buy 36.94 lei
Climbing Bible Martin Mobraten / Carte Carte broșată
common.buy 148.92 lei
Top
Toilet-bound Hanako-kun, Vol. 5 AidaIro / Carte Carte broșată
common.buy 59.25 lei
Top
Practice of Not Thinking Ryunosuke Koike / Carte Carte broșată
common.buy 60.70 lei
Top
Churchill Andrew Roberts / Carte Carte broșată
common.buy 112.59 lei
Top
JoJo's Bizarre Adventure: Part 4 - Diamond Is Unbreakable, Vol. 9 Hirohiko Araki / Carte Copertă tare
common.buy 108.23 lei
Top
Meditations Marcus Aurelius / Carte Carte broșată
common.buy 25.31 lei
Top
My First Book of Planets: All about the Solar System for Kids Bruce Betts / Carte Carte broșată
common.buy 38.70 lei
Top
KJV Bible Giant Print Full Size Pink Christian Art Gifts / Carte Carte broșată
common.buy 165.31 lei
Fountains of Silence RUTA SEPETYS / Carte Carte broșată
common.buy 50.32 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?