Einführung in die mathematische Logik
Seiten
1996
|
4., aktualis. Aufl.
Spektrum Akademischer Verlag
978-3-8274-0130-4 (ISBN)
Spektrum Akademischer Verlag
978-3-8274-0130-4 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
Die mathematische Logik hat sich seit dem Ende des 19. Jahrhunderts als eigenständige Disziplin entwickelt. Boole, HIlbert u.a. haben daran entscheidenden Anteil. Charakteristische Elemente finden sich allerdings bereits in der traditionellen, der Philosophie verhafteten Logik (so Aristoteles, Leibniz). Ebbinghaus, Flum und Thomas belegen in diesem einführenden Lehrbuch die Prägung der mathematischen Logik durch die Mathematik: Durch Motivation und Zielsetzung, durch die Methode und schließlich durch die Anwendung in der Mathematik selbst. Auf Anwendungen in der Informatik wird am Beispiel der Logik-Programmierung eingegangen. Die 4. Auflage eines vielbeachteten, handlichen Werkes!
Heinz-Dieter Ebbinghaus und Jörg Flum forschen und lehren am Institut für Mathematik der Universität Freiburg, Wolfgang Thomas ist am Institut für Informatik der Universität Kiel tätig.
| Sprache | deutsch |
|---|---|
| Maße | 148 x 210 mm |
| Gewicht | 460 g |
| Einbandart | Pappe |
| Themenwelt | Sachbuch/Ratgeber ► Natur / Technik ► Naturwissenschaft |
| Schlagworte | HC/Sachbücher/Natur, Technik/Naturwissenschaft • Mathematische Logik |
| ISBN-10 | 3-8274-0130-5 / 3827401305 |
| ISBN-13 | 978-3-8274-0130-4 / 9783827401304 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Die glänzenden und die dunklen Jahre der Physik 1895-1945
Buch | Softcover (2023)
Klett-Cotta (Verlag)
CHF 19,55
