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 Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Derivation and Computation

Limba englezăengleză
Carte Copertă tare
Carte Derivation and Computation H. Simmons
Codul Libristo: 02042580
Editura Cambridge University Press, mai 2000
Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is... Descrierea completă
? points 453 b
980.13 lei
În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Cambridge IGCSE(TM) Mandarin Coursebook Digital edition Martin Mak / E-book Adobe ePub DRM
common.buy 180.00 lei
Soziale Folgen globaler Rationalisierungsprozesse seit dem Ende des Zweiten Weltkrieges - unter besonderer Berucksichtigung der Bundesrepublik Deutsch Dirk Brockmeyer / Carte Carte broșată
common.buy 138.87 lei
AGUAS SANADORAS, LAS.44 CARTAS Y LIBRO GUIA.(ORACULO) Rebecca Campbell / Carte Carte broșată
common.buy 108.74 lei
KAGUYA-SAMA Miłość to wojna. Tom 4 Aka Akasaka / Carte Carte broșată
common.buy 39.98 lei
Zechenbrand Margit Kruse / Carte Carte broșată
common.buy 85.17 lei
Briefe zur Logik des Hermes Constantin Noica / Carte Carte broșată
common.buy 160.68 lei
Der schlaue Urfin und seine Holzsoldaten Alexander Wolkow / Carte Copertă tare
common.buy 84.96 lei
Gulielmi Lilii De latinorum nominum generibus, de verborum praeteritis et supinis Carl von Reifitz / Carte Carte broșată
common.buy 207.21 lei
Du contrôle social en Afrique. Samson / Carte Carte broșată
common.buy 180.62 lei
Kopf-Hals-Operationen - Hals-Nasen-Ohren-Heilkunde Ahmed Al abbasi / Carte Carte broșată
common.buy 240.56 lei
BLAZER DRIVE SEISHI KISHIMOTO / Carte Carte broșată
common.buy 58.57 lei
L'indispensable guide des araignées de France et autres arachnides Merlier / Carte Carte
common.buy 101.27 lei
Die Theorie Der Kolloide: Ubersicht Uber Die Forschungen, Betreffend Die Natur Des Kolloidalzustandes (1903) Arthur Muller / Carte Carte broșată
common.buy 111.34 lei
Medizinische Kommunikation Sascha Bechmann / Carte Carte broșată
common.buy 146.45 lei
Alle träumten von Cuba Miguel Barnet / Carte Carte broșată
common.buy 83.09 lei

Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is the production of results according to well-defined sets of rules. The two notions are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship. The book itself forms an introduction to simple type theory. Starting from the familiar propositional calculus the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of Gödel's T, a system which codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject, and develop a further understanding. An appendix contains complete solutions of these exercises.

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 Derivation and Computation
Autor H. Simmons
Limba engleză
Legare Carte - Copertă tare
Data publicării 2000
Număr pagini 412
EAN 9780521771733
ISBN 0521771730
Codul Libristo 02042580
Editura Cambridge University Press
Greutatea 668
Dimensiuni 236 x 161 x 25

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

Emergence of Life Pier Luigi Luisi / E-book Adobe ePub DRM
common.buy 237.54 lei
Studies in Rural Capitalism in West Africa Polly Hill / Carte Carte broșată
common.buy 263.41 lei
Introduction to Pragmatics Betty J. Birner / Carte Carte broșată
common.buy 266.00 lei
Robert E. Lee: Who Brought The South Back To The Union Clifford Smyth / Carte Carte broșată
common.buy 137.31 lei
Whispering Hope Marie Slattery / Carte Carte broșată
common.buy 82.67 lei
Cary Grant Graham McCann / Carte Carte broșată
common.buy 205.97 lei
Extremist Politics and Culture, and the Western Role in Its Resurgence Ahmad Nadeem / Carte Carte broșată
common.buy 105.73 lei
Balanced Meals with Recipes - Food Values, Drying and Cold Pack Canning Menus, With and Without Meat, Box Luncheons Anon / Carte Carte broșată
common.buy 111.34 lei
Jamie planted an acorn TIM BOWLEY / Carte Carte broșată
common.buy 77.48 lei
Rapp Jean Rapp / Carte Carte broșată
common.buy 104.28 lei
MRI/DTI Atlas of the Human Brainstem in Transverse and Sagittal Planes George Paxinos / Carte Copertă tare
common.buy 1 079.63 lei
Top
Britannica's Encyclopedia Infographica: Thousands of Facts Revealed in Pictures PETTIE ANDREW / Carte Copertă tare
common.buy 136.69 lei
Curând
NINJAK SUPERKILLERS PARKER JEFF / Carte Copertă tare
common.buy 159.43 lei
Top
Seraph of the End, Vol. 31 Takaya Kagami / Carte Carte broșată
common.buy 52.96 lei
History of the Peloponnesian War Thucydides / Carte Copertă tare
common.buy 184.26 lei
Human Spaceflight and Exploration Carol Norberg / Carte Copertă tare
common.buy 794.92 lei
Ceramics in Advanced Energy Technologies H. Kröckel / Carte Carte broșată
common.buy 284.91 lei
Top
Logic of Categorial Grammars Richard Moot / Carte Carte broșată
common.buy 398.23 lei
Maverick Mark Bonnie Bowman Thurston / Carte Carte broșată
common.buy 76.75 lei
Alexander Dalrymple and the Expansion of British Trade Howard T. Fry / Carte Carte broșată
common.buy 269.33 lei
Logical Pluralism J.C. Beall / Carte Copertă tare
common.buy 351.70 lei
Introductory Phonology Bruce Hayes / Carte Carte broșată
common.buy 377.88 lei
Categorial Grammar Glyn Morrill / Carte Carte broșată
common.buy 514.78 lei
Linguistics - An Introduction to Linguistic Theory Bruce Hayes / Carte Carte broșată
common.buy 277.54 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?