Möchten Sie verkaufen? Hier verkaufen
Einführung in die mathematische Logik (Sav Mathematik)
 
 
Den Verlag informieren!
Ich möchte dieses Buch auf dem Kindle lesen.

Sie haben keinen Kindle? Hier kaufen oder eine gratis Kindle Lese-App herunterladen.

Einführung in die mathematische Logik (Sav Mathematik) [Taschenbuch]

Heinz-Dieter Ebbinghaus , Jörg Flum , Wolfgang Thomas
3.8 von 5 Sternen  Alle Rezensionen anzeigen (9 Kundenrezensionen)

Erhältlich bei diesen Anbietern.


Weitere Ausgaben

Amazon-Preis Neu ab Gebraucht ab
Taschenbuch EUR 24,95  
Taschenbuch, August 1996 --  
Dieses Buch gibt es in einer neuen Auflage:
Einführung in die mathematische Logik Einführung in die mathematische Logik 3.8 von 5 Sternen (9)
EUR 24,95
Auf Lager.

Kunden, die diesen Artikel gekauft haben, kauften auch


Produktinformation

  • Taschenbuch: 309 Seiten
  • Verlag: Spektrum-Akademischer Vlg; Auflage: 4. A. (August 1996)
  • Sprache: Deutsch
  • ISBN-10: 3827401305
  • ISBN-13: 978-3827401304
  • Größe und/oder Gewicht: 21,2 x 15,1 x 2,2 cm
  • Durchschnittliche Kundenbewertung: 3.8 von 5 Sternen  Alle Rezensionen anzeigen (9 Kundenrezensionen)
  • Amazon Bestseller-Rang: Nr. 873.848 in Bücher (Siehe Top 100 in Bücher)
  • Komplettes Inhaltsverzeichnis ansehen

Mehr über die Autoren

Entdecken Sie Bücher, lesen Sie über Autoren und mehr

Produktbeschreibungen

Kurzbeschreibung

Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Kann man das Auffinden mathematischer Beweise Computern übertragen? Antworten auf derlei Fragen stehen im Mittelpunkt dieser systematischen Einführung in die mathematische Logik erster Stufe. Die Lektüre setzt keine spezifischen mathematischen Vorkenntnisse voraus.

Buchrückseite

Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben: Im vorliegenden Werk werden die Ergebnisse systematisch zusammengestellt; im Mittelpunkt steht dabei die Logik erster Stufe. Die Lektüre setzt – außer einer gewissen Vertrautheit mit der mathematischen Denkweise – keine spezifischen Kenntnisse voraus. In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben. -- Dieser Text bezieht sich auf eine andere Ausgabe: Taschenbuch .

Welche anderen Artikel kaufen Kunden, nachdem sie diesen Artikel angesehen haben?


In diesem Buch (Mehr dazu)
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Hier reinlesen und suchen:

Tags, die Kunden mit diesem Produkt verbinden

 (Was ist das?)
Klicken Sie zum Suchen verwandter Artikel, Diskussionen oder Personen auf ein Tag.
 

 

Eine digitale Version dieses Buchs im Kindle-Shop verkaufen

Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen. Weitere Informationen

 

Kundenrezensionen

9 Rezensionen
5 Sterne:
 (4)
4 Sterne:
 (1)
3 Sterne:
 (3)
2 Sterne:    (0)
1 Sterne:
 (1)
 
 
 
 
 
Durchschnittliche Kundenbewertung
3.8 von 5 Sternen (9 Kundenrezensionen)
 
 
 
 
Sagen Sie Ihre Meinung zu diesem Artikel:
Die hilfreichsten Kundenrezensionen

26 von 26 Kunden fanden die folgende Rezension hilfreich:
3.0 von 5 Sternen Als Einführung zu komplex, 6. Juli 2001
Rezension bezieht sich auf: Einführung in die mathematische Logik (Sav Mathematik) (Taschenbuch)
Entgegen dem Titel "Einführung in die Math.-Log." kann dieses Buch kaum einem Anfänger empfohlen werden. Zb beginnen die Autoren gleich mit der Prädikatenlogik, anstatt, wie sonst meist üblich, mit der Aussagenlogik. Dadurch nehmen sie sich die Möglichkeit, Dinge wie Kalkül, Interpretation, Modelle, etc. an der doch wesentlich einfacheren Aussagenlogik zu demonstrieren (zB Interpretation über Wahrheitstafeln vs. Kalkülableitung). Schade ist auch, das dieses Buch dem Beispiel vieler ähnlicher Vertreter folgt und Kalküle ausschließlich über die Horn-Logik einführt und die - meiner Meinung nach - sehr anschaulichen Gentzen-Typ-Kalküle völlig außer acht läßt. Das Buch enthält allerdings ein ganze Reihe von Beweisen, daher ist es für den, der mit der Prädikatenlogik bereits vertraut ist, eine gute Fortsetzung.
Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen 
War diese Rezension für Sie hilfreich? Ja Nein


7 von 8 Kunden fanden die folgende Rezension hilfreich:
3.0 von 5 Sternen Als Einführung zu komplex, 10. Januar 2000
Von Ein Kunde
Rezension bezieht sich auf: Einführung in die mathematische Logik (Sav Mathematik) (Taschenbuch)
Das Buch "Einführung in die mathematische Logik" der drei Autoren ist ein relativ gelungenes Einführungswerk in die mehr oder weniger geheimnisvolle Welt der mathematischen Logik. Es bietet alle wesentlichen Grundbegriffe und führt schrittweise in die Fragestellung der mathematischen Logik ein. Leider geht es auch stellenweise für meinen Geschmack etwas zu weit und bietet noch Verfahren und Beweise auf, die eher verwirrend sind und dem Grundlagenverständnis nicht direkt förderlich sind. An dieser Stelle wäre entweder ein zweiter Band mit diesen Problematiken oder ein gesondertes Kapitel zur Vertiefung am Schluß des Buches wünschenswert. Gut sind hingegen die jedem Kapitel angegliederten Aufgaben zur Übung und Vertiefung des Stoffes. Leider wurde am Schluß des Buches an einem Kapitel mit den Lösungen gespart. Was nutzen dann die Aufgaben, wenn keine Möglichkeit der Überprüfung der Richtigkeit besteht ? Dafür ist der restliche Stoff gut und verständlich erklärt und auch die genutzten Beweise mit der oben erwähnten Ausnahmen recht verständlich geführt. Insgesamt erhält das Buch von mir 3 Sterne, da es zwar ein gutes Grundlagenbuch ist, aber auch seine oben genannten Schwachstellen aufweist. (Dies ist eine Amazon.de an der Uni-Studentenrezension.)
Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen 
War diese Rezension für Sie hilfreich? Ja Nein


1 von 1 Kunden fanden die folgende Rezension hilfreich:
5.0 von 5 Sternen Umfangreich und sehr gut, 1. August 2010
Von 
C. Redl (Wien) - Alle meine Rezensionen ansehen
(REAL NAME)   
Das Buch gibt einen sehr schönen Überblick über wichtige Sätze in der mathematischen Logik. Vorwissen wird offiziell nicht vorausgesetzt (nur die mathematische Denkweise), ich denke aber, dass es ab einem bestimmten Zeitpunkt sehr schwer wird dem Inhalt zu folgen, wenn man wirklich davor noch nie etwas von Logik gehört hat.

Das Buch ist relativ formal und sämtliche Sätze werden auch bewiesen. mMn wird das in späteren Kapiteln schon etwas mühsam, so dass ich dort dann manche Stellen übersprungen habe. Vielleicht lag es aber auch daran, dass mich diese Erkenntnisse weniger interessierten.

Das Buch ist gut um es einfach mal so zu lesen, aber auch später als Nachschlagewerk - wenn man etwa schnell bestimmte Sätze und deren Beweisideen braucht.
Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen 
War diese Rezension für Sie hilfreich? Ja Nein

Sagen Sie Ihre Meinung zu diesem Artikel: Eigene Rezension erstellen
 
 
Die neuesten Kundenrezensionen







Nur in den Rezensionen zu diesem Produkt suchen



Kunden diskutieren

Das Forum zu diesem Produkt
Diskussion Antworten Jüngster Beitrag
Noch keine Diskussionen

Fragen stellen, Meinungen austauschen, Einblicke gewinnen
Neue Diskussion starten
Thema:
Erster Beitrag:
Eingabe des Log-ins
 


Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
Alle Amazon-Diskussionen durchsuchen
   
Ähnliche Foren


Lieblingslisten


Ähnliche Artikel finden


Anhand des Sachgebietes nach ähnlichen Produkten suchen:










Das bedeutet, jeder Titel/Artikel muss zu Sachgebiet 1 UND zu Sachgebiet 2 UND... gehören.

Ihr Kommentar