Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Logic: a Brief Course

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

Daniele Mundici

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01367291

Nakladateľstvo Springer Verlag, február 2012

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

Libristo kód: 01367291

122 b

50.66 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

CLARIN 100 JULIO AGOSTO 2012

Kniha

10.12 €

EL VIAJE DE TU VIDA LUCIA GALAN BERTRAND

Kniha

11.04 €

Arde Madrid Herrero

Brožovaná

24.92 €

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

Brožovaná

18.43 €

Effetto delle radiazioni dei telefoni cellulari sulla salute Khitam Elwasife

Brožovaná

41.03 €

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

Brožovaná

4.65 €

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

Brožovaná

47.12 €

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

Brožovaná

18.54 €

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

Pevná

34.65 €

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

Brožovaná

49.14 €

Wir Eltern sind auch nur Menschen! Jörg Mangold

Brožovaná

25.12 €

Handbuch der Chirurgischen Praxis Victor Von Bruns

Brožovaná

40.22 €

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

Brožovaná

23.60 €

Wie Sprach Gott: Es Werde Licht!? Dieter Lau

Brožovaná

74.38 €

Vivez pleinement et libérez votre potentiel Gianluca Annoni

Brožovaná

16.10 €

Moeglichkeiten der Kundenbindung in der Logistikbranche Tihomir Bajci

Brožovaná

47.32 €

Detektiv Conan. Bd.87 Gosho Aoyama

Brožovaná

6.98 €

Der Philipperbrief / Der Philemonbrief Christoph Schluep-Meier

Pevná

36.27 €

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

Brožovaná

81.98 €

grosse Kurfurst und seine Kinder Louise Mühlbach

Brožovaná

53.50 €

Portratgalerie aus Lamprechts Deutscher Geschichte Hans Ferdinand Helmolt

Brožovaná

26.85 €

"richtige" Kinder Sabina Schutter

Brožovaná

48.43 €

Bioethik zwischen Natur und Interesse Dieter Birnbacher

Brožovaná

23.91 €

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.