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.

Logic: a Brief Course

Limba englezăengleză
Carte Carte broșată
Carte Logic: a Brief Course Daniele Mundici
Codul Libristo: 01367291
Editura Springer Verlag, februarie 2012
This short book, geared towards undergraduate students of computer science and mathematics, is speci... Descrierea completă
? points 129 b
278.99 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

CLARIN 100 JULIO AGOSTO 2012 / Carte Carte
common.buy 52.76 lei
EL VIAJE DE TU VIDA LUCIA GALAN BERTRAND / Carte Carte
common.buy 61.17 lei
Arde Madrid Herrero / Carte Carte broșată
common.buy 130.24 lei
Crescere partecipando. Contesti e prospettive educative per il sistema integrato 0-6 Monica Amadini / Carte Carte broșată
common.buy 96.28 lei
Effetto delle radiazioni dei telefoni cellulari sulla salute Khitam Elwasife / Carte Carte broșată
common.buy 227.16 lei
Finančná gramotnosť pre 1. stupeň základných škôl Monika Reiterová / Carte Carte broșată
common.buy 27.93 lei
The "Here and Now" of French Psychoanalysis Rachel Boue-Widawsky / Carte Carte broșată
common.buy 269.33 lei
2013年瑞豐香檳酒庄指南 Collectif Photo Reims / Carte Carte broșată
common.buy 106.87 lei
Le Cabinet Du Jeune Naturaliste Ou Tableaux Intéressans De L'histoire Des Animaux ...: (Viii, 364 P.) Thomas Smith / Carte Copertă tare
common.buy 199.42 lei
Ministere de l'Instruction Publique Et Des Beaux-Arts. Direction de l'Enseignement Secondaire SANS AUTEUR / Carte Carte broșată
common.buy 280.55 lei
Wir Eltern sind auch nur Menschen! Jörg Mangold / Carte Carte broșată
common.buy 139.07 lei
Handbuch der Chirurgischen Praxis Victor Von Bruns / Carte Carte broșată
common.buy 222.38 lei
Fibromialgia : una guía completa para comprender y aliviar el dolor Don L. Goldenberg / Carte Carte broșată
common.buy 123.08 lei
Wie Sprach Gott: Es Werde Licht!? Dieter Lau / Carte Carte broșată
common.buy 409.04 lei
Vivez pleinement et libérez votre potentiel Gianluca Annoni / Carte Carte broșată
common.buy 89.11 lei
Moeglichkeiten der Kundenbindung in der Logistikbranche Tihomir Bajci / Carte Carte broșată
common.buy 261.75 lei
Detektiv Conan. Bd.87 Gosho Aoyama / Carte Carte broșată
common.buy 38.53 lei
Der Philipperbrief / Der Philemonbrief Christoph Schluep-Meier / Carte Copertă tare
common.buy 198.38 lei
Orte und Räume des Religiösen im 19.-21. Jahrhundert Franziska Metzger / Carte Carte broșată
common.buy 464.40 lei
grosse Kurfurst und seine Kinder Louise Mühlbach / Carte Carte broșată
common.buy 295.92 lei
Portratgalerie aus Lamprechts Deutscher Geschichte Hans Ferdinand Helmolt / Carte Carte broșată
common.buy 148.42 lei
"richtige" Kinder Sabina Schutter / Carte Carte broșată
common.buy 266.53 lei
Bioethik zwischen Natur und Interesse Dieter Birnbacher / Carte Carte broșată
common.buy 125.05 lei

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.§A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics.

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 Logic: a Brief Course
Autor Daniele Mundici
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 130
EAN 9788847023604
ISBN 8847023602
Codul Libristo 01367291
Editura Springer Verlag
Greutatea 266
Dimensiuni 156 x 234 x 6

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Language & Linguistics > Linguistics > Semantics, discourse analysis, stylistics
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

Magnus Eiriksson Gerhard Schreiber / Carte Copertă tare
common.buy 369.05 lei
Design Education Wendy C. Newstetter / Carte Carte broșată
common.buy 245.75 lei
Republican Democracy NIERDERBERGER SCHI / Carte Carte broșată
common.buy 172.62 lei
Relativity Albert Einstein / Carte Copertă tare
common.buy 151.43 lei
My First Big Book of Coloring 2 Little Bee Books / Carte Carte broșată
common.buy 46.94 lei
Charlie "Chubby Bubble" Spencer W. Davis / Carte Carte broșată
common.buy 119.65 lei
Oak Openings James Fenimore Cooper / Carte Carte broșată
common.buy 188.00 lei
The World Crisis And Its Meaning (1915) Felix Adler / Carte Carte broșată
common.buy 158.08 lei
Bugatti - The 8-Cylinder Touring Cars 1920-34 Barrie Price / Carte Carte broșată
common.buy 205.97 lei
The Long Way Home - Revised Edition: A Journey Into History with Captain Robert Ford MR Ed Dover / Carte Carte broșată
common.buy 83.50 lei
Top
Fantastic Paintings of Frazetta Spurlock J David / Carte Copertă tare
common.buy 169.41 lei
Top
Seventy-Eight Degrees of Wisdom: A Tarot Journey to Self-Awareness Rachel Pollack / Materiale tipărite Cărți
common.buy 99.91 lei
Mechanistic Realism and US Foreign Policy RO / Carte Carte broșată
common.buy 277.74 lei
Transhumanizing War H. Christian Breede / Carte Carte broșată
common.buy 274.94 lei
Archaeology of Ancient Greece James Whitley / Carte Carte broșată
common.buy 312.33 lei
Spanish Civil War Alun Kenwood / Carte Carte broșată
common.buy 311.50 lei
World to Come - Ukrainian Images of the Last Judgment Liliya Berezhnaya / Carte Copertă tare
common.buy 307.97 lei
Covenants without Swords Jeanne Morefield / Carte Carte broșată
common.buy 168.26 lei
Five Broken Blades Mai Corland / Carte Copertă tare
common.buy 101.06 lei
Prince Prigio from His Own Fairy Book Andrew Lang / Carte Carte broșată
common.buy 50.16 lei
Top
What I Ate in One Year Stanley Tucci / Carte Copertă tare
common.buy 103.86 lei
A Sphere in Architecture and Astronomy Rune Jakobsen / Carte Copertă tare
common.buy 238.17 lei
Central Africans, Atlantic Creoles, and the Foundation of the Americas, 1585-1660 Linda M. HeywoodJohn K. Thornton / Carte Carte broșată
common.buy 149.05 lei
Principles of Surgical Oncology Ronald Raven / Carte Carte broșată
common.buy 284.91 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?