Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic: a Brief Course

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

Daniele Mundici

Sprache

Englisch

Buch Broschur

Libristo-Code: 01367291

Verlag Springer Verlag, Februar 2012

This short book, geared towards undergraduate students of computer science and mathematics, is speci... Vollständige Beschreibung

Libristo-Code: 01367291

129 b

52.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

CLARIN 100 JULIO AGOSTO 2012

Buch

10.39 €

EL VIAJE DE TU VIDA LUCIA GALAN BERTRAND

Buch

11.59 €

Arde Madrid Herrero

Broschur

25.69 €

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

Broschur

19.09 €

Effetto delle radiazioni dei telefoni cellulari sulla salute Khitam Elwasife

Broschur

42.89 €

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

Broschur

5.89 €

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

Broschur

50.89 €

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

Broschur

20.19 €

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

Hardcover

37.69 €

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

Broschur

52.99 €

Wir Eltern sind auch nur Menschen! Jörg Mangold

Broschur

28.00 €

Handbuch der Chirurgischen Praxis Victor Von Bruns

Broschur

44.90 €

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

Broschur

24.39 €

Wie Sprach Gott: Es Werde Licht!? Dieter Lau

Broschur

77.29 €

Vivez pleinement et libérez votre potentiel Gianluca Annoni

Broschur

16.79 €

Moeglichkeiten der Kundenbindung in der Logistikbranche Tihomir Bajci

Broschur

52.95 €

Detektiv Conan. Bd.87 Gosho Aoyama

Broschur

8.00 €

Der Philipperbrief / Der Philemonbrief Christoph Schluep-Meier

Hardcover

37.39 €

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

Broschur

87.69 €

grosse Kurfurst und seine Kinder Louise Mühlbach

Broschur

59.90 €

Portratgalerie aus Lamprechts Deutscher Geschichte Hans Ferdinand Helmolt

Broschur

29.90 €

"richtige" Kinder Sabina Schutter

Broschur

50.29 €

Bioethik zwischen Natur und Interesse Dieter Birnbacher

Broschur

24.79 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic: a Brief Course

Autor Daniele Mundici

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 130

EAN 9788847023604

ISBN 8847023602

Libristo-Code 01367291

Verlag Springer Verlag

Gewicht 266

Abmessungen 156 x 234 x 6

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Sprache und Sprachwissenschaft > Sprachwissenschaft, Linguistik > Semantik, Diskursanalyse, Stilistik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert