Einführung in die mathematische Logik – Heinz-Dieter Ebbinghaus, Jörg Flum, W... | buch7 – Der soziale Buchhandel
Bitte warten ...
icon suche icon merkliste icon warenkorb
Blick ins Buch

Einführung in die mathematische Logik

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.

E-Book 09/2018
Ebook pdfPDF Ebook openkein Kopierschutz
  • Ebook funktion ereadereReader
  • Ebook funktion kindlekindle
  • Ebook funktion computerComputer
  • Ebook funktion smartphoneSmartphone

Ebook funktion keinaccountkein Adobe Account notwendig | Ebook funktion schrift festSchriftgröße ist nicht veränderbar/einstellbar


Sie erhalten nach dem Kauf das Buch als ganz normale PDF-Datei, die Sie an jedem Gerät lesen können, das PDFs anzeigen kann. PDFs werden überall gleich angezeigt. Wir empfehlen dieses Format, da es ohne DRM (digitales Rechte-Management) auskommt.


Sofort lieferbar (Download)

Die angegebene Lieferzeit bezieht sich auf sofortige Zahlung (z.B. Zahlung per Lastschrift, PayPal oder Sofortüberweisung).
Sonderfälle, die zu längeren Lieferzeiten führen können (Bsp: Bemerkung für Kundenservice oder Zahlung per Vorkasse) haben wir hier für Sie detailliert beschrieben.

Spenden icon Dank Ihres Kaufes spendet buch7 ca. 0,87 € bis 1,62 €.

Die hier angegebene Schätzung beruht auf dem durchschnittlichen Fördervolumen der letzten Monate und Jahre. Über die Vergabe und den Umfang der finanziellen Unterstützung entscheidet das Gremium von buch7.de.

Die genaue Höhe hängt von der aktuellen Geschäftsentwicklung ab. Natürlich wollen wir so viele Projekte wie möglich unterstützen.

Den tatsächlichen Umfang der Förderungen sowie die Empfänger sehen Sie auf unserer Startseite rechts oben, mehr Details finden Sie hier.

Weitere Informationen zu unserer Kostenstruktur finden Sie hier.

Benachrichtigung

Autoreninformationen

Prof. Dr. Heinz-Dieter Ebbinghaus und Prof. Dr. Jörg Flum forschen am Mathematischen Institut der Universität Freiburg, Prof. Dr. Wolfgang Thomas am Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) der RWTH Aachen.

Inhaltsverzeichnis

Einleitung.- Syntax der Sprachen erster Stufe.- Semantik der Sprachen erster Stufe.- Ein Sequenzenkalkül.- Der Vollständigkeitssatz.- Der Satz von Löwenheim und Skolem und der Endlichkeitssatz.- Zur Tragweite der ersten Stufe.- Syntaktische Interpretationen und Normalformen.- Erweiterungen der Logik erster Stufe.- Berechenbarkeit und ihre Grenzen.- Freie Modelle und Logik-Programmierung.- Eine algebraische Charakterisierung der elementaren Äquivalenz.- Die Sätze von Lindström.- Lösungshinweise zu den Aufgaben.- Literaturverzeichnis.- Symbolverzeichnis.- Sach- und Personenverzeichnis.

Produktdetails

EAN / 13-stellige ISBN 978-3662580295
10-stellige ISBN 3662580292
Verlag Springer Berlin Heidelberg
Imprint Springer Spektrum
Sprache Deutsch
Auflage 6. Auflage im Jahr 2018
Anmerkungen zur Auflage 6. Aufl. 2018
Editionsform Non Books / PBS
Einbandart E-Book
Typ des digitalen Artikels PDF
Copyright PDF Watermark
Erscheinungsdatum 28. September 2018
Seitenzahl 367
Warengruppe des Lieferanten Naturwissenschaften - Mathematik
Mehrwertsteuer 7% (im angegebenen Preis enthalten)
Bestseller aus dieser Kategorie

Naturwissenschaften - Mathematik

Noch nicht das passende gefunden?
Verschenken Sie einfach einen Gutschein.

Auch hier werden natürlich 75% des Gewinns gespendet.

Gutschein kaufen

Was unsere Kund/innen sagen:

Impressum Datenschutz Hilfe / FAQ