Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Logic: a Brief Course

Name: Logic: a Brief Course
Brand: Springer Verlag
SKU: 01367291
Price: 1155 CZK
Availability: InStock
Author: Daniele Mundici
ISBN: 9788847023604

Daniele Mundici

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01367291

Nakladatelství Springer Verlag, únor 2012

This short book, geared towards undergraduate students of computer science and mathematics, is speci... Celý popis

Libristo kód: 01367291

116 b

1 155 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

CLARIN 100 JULIO AGOSTO 2012

Kniha

244 Kč

EL VIAJE DE TU VIDA LUCIA GALAN BERTRAND

Kniha

268 Kč

Arde Madrid Herrero

Brožovaná

603 Kč

Crescere partecipando. Contesti e prospettive educative per il sistema integrato 0-6 Monica Amadini

Brožovaná

445 Kč

Effetto delle radiazioni dei telefoni cellulari sulla salute Khitam Elwasife

Brožovaná

934 Kč

Finančná gramotnosť pre 1. stupeň základných škôl Monika Reiterová

Brožovaná

129 Kč

The "Here and Now" of French Psychoanalysis Rachel Boue-Widawsky

Brožovaná

1 139 Kč

2013年瑞豐香檳酒庄指南 Collectif Photo Reims

Brožovaná

448 Kč

Le Cabinet Du Jeune Naturaliste Ou Tableaux Intéressans De L'histoire Des Animaux ...: (Viii, 364 P.) Thomas Smith

Pevná

837 Kč

Ministere de l'Instruction Publique Et Des Beaux-Arts. Direction de l'Enseignement Secondaire SANS AUTEUR

Brožovaná

1 187 Kč

Wir Eltern sind auch nur Menschen! Jörg Mangold

Brožovaná

572 Kč

Handbuch der Chirurgischen Praxis Victor Von Bruns

Brožovaná

914 Kč

Fibromialgia : una guía completa para comprender y aliviar el dolor Don L. Goldenberg

Brožovaná

570 Kč

Wie Sprach Gott: Es Werde Licht!? Dieter Lau

Brožovaná

1 702 Kč

Vivez pleinement et libérez votre potentiel Gianluca Annoni

Brožovaná

366 Kč

Moeglichkeiten der Kundenbindung in der Logistikbranche Tihomir Bajci

Brožovaná

1 076 Kč

Detektiv Conan. Bd.87 Gosho Aoyama

Brožovaná

157 Kč

Der Philipperbrief / Der Philemonbrief Christoph Schluep-Meier

Pevná

877 Kč

Orte und Räume des Religiösen im 19.-21. Jahrhundert Franziska Metzger

Brožovaná

1 979 Kč

grosse Kurfurst und seine Kinder Louise Mühlbach

Brožovaná

1 217 Kč

Portratgalerie aus Lamprechts Deutscher Geschichte Hans Ferdinand Helmolt

Brožovaná

610 Kč

"richtige" Kinder Sabina Schutter

Brožovaná

1 105 Kč

Bioethik zwischen Natur und Interesse Dieter Birnbacher

Brožovaná

578 Kč

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.