UNITEXT Logic a Brief Course - Daniele Mundici Kartoniert (TB)

Bildquelle: amazon.com

Preisverlauf (90 Tage)

Noch keine Verlaufsdaten vorhanden Daten werden ab dem nächsten Import gesammelt

Browser-Benachrichtigung bei PreissenkungWir melden uns, sobald das Produkt wieder lieferbar ist — höchstens einmal am Tag. Ohne E-Mail, ohne Konto, jederzeit abbestellbar. Amazon-Angebote sind ausgenommen. Datenschutz

Hinweis: Amazon-Preise sind in der Preisverfolgung bzw. im Preisverlaufsgraphen nicht enthalten. Wir versenden keine Benachrichtigungen zu Produkten über Amazon.

Kundenbewertungen

Noch keine Bewertungen vorhanden.

EAN 9788847023604

UNITEXT Logic a Brief Course - Daniele Mundici Kartoniert (TB)

Name: UNITEXT Logic a Brief Course - Daniele Mundici Kartoniert (TB)
Brand: Springer
SKU: 9788847023604

Hersteller: Springer

Finde UNITEXT Logic a Brief Course - Daniele Mundici Kartoniert …

Produktfakten auf einen Blick zur EAN 9788847023604

Hersteller: Springer
EAN: 9788847023604
Farbe: Yellow
Gewicht: 0.073 kg
Breite: 8.382 mm
H├Âhe: 234.95 mm
L├ñnge: 154.94 mm

Technische Daten

Erscheinungsdatum: 2012-02-24T00:00:01Z
Seitenzahl: 144
Sprache: Englisch

Produktbeschreibung

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

Preisvergleich

0 Angebote gefunden

Keine Angebote mit diesen Filterkriterien gefunden.

Filter zurücksetzen

* Alle Preise inkl. MwSt., ggf. zzgl. Versandkosten. Preise und Verfügbarkeit können sich seit der letzten Aktualisierung geändert haben. Beim Klick auf „Zum Angebot" oder „Zum Shop" verlässt du EAN-Shopping.de und wirst zum jeweiligen Händler weitergeleitet. EAN-Shopping.de erhält ggf. eine Provision — für dich entstehen keine Mehrkosten. Letzte Aktualisierung: –.

Weitere Produkte von Springer

Alle Produkte →