Von Logik zu Metalogik
Einführung in die Metatheorie der Prädikatenlogik
Seiten
2026
Hanser, Carl (Verlag)
978-3-446-48611-9 (ISBN)
Hanser, Carl (Verlag)
978-3-446-48611-9 (ISBN)
- Noch nicht erschienen (ca. Mai 2026)
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
Der Schlüssel zum Verständnis von Strukturen und Beziehungen
Die Prädikatenlogik ermöglicht, komplexere Aussagen über Objekte und deren Beziehungen zueinander zu formulieren. Anhand von Variablen, Quantoren und Prädikaten werden präzise, logische Aussagen getroffen. Viele Bereiche wie beispielsweise Mathematik, Informatik oder Philosophie basieren in ihrem logischen Aufbau auf der Prädikatenlogik.
Das Buch bietet eine Einführung in die Prädikatenlogik und vermittelt ein tieferes Verständnis der klassischen Logik und ihrer Metatheorie. Es ist klar und einfach geschrieben und wird durch viele Beispiele veranschaulicht. So wird dieses komplexe, anspruchsvolle Thema auch ohne Vorwissen verständlich!
- So einfach und knapp wie möglich
- Viele Beispiele erleichtern das Verständnis
- Mit Aufgaben und Lösungen
Zum Inhalt:
Formale Sprache, Semantik und syntaktisches Schlusssystem aufbauen
Sätze der Metalogik und ihre Beziehungen zueinander kennen
Zieht ab von „Wie formalisiere ich?“ – Zielt auf: „Wie beweise ich?“
Liefert die Grundlage für alle Logiken
Die Prädikatenlogik ermöglicht, komplexere Aussagen über Objekte und deren Beziehungen zueinander zu formulieren. Anhand von Variablen, Quantoren und Prädikaten werden präzise, logische Aussagen getroffen. Viele Bereiche wie beispielsweise Mathematik, Informatik oder Philosophie basieren in ihrem logischen Aufbau auf der Prädikatenlogik.
Das Buch bietet eine Einführung in die Prädikatenlogik und vermittelt ein tieferes Verständnis der klassischen Logik und ihrer Metatheorie. Es ist klar und einfach geschrieben und wird durch viele Beispiele veranschaulicht. So wird dieses komplexe, anspruchsvolle Thema auch ohne Vorwissen verständlich!
- So einfach und knapp wie möglich
- Viele Beispiele erleichtern das Verständnis
- Mit Aufgaben und Lösungen
Zum Inhalt:
Formale Sprache, Semantik und syntaktisches Schlusssystem aufbauen
Sätze der Metalogik und ihre Beziehungen zueinander kennen
Zieht ab von „Wie formalisiere ich?“ – Zielt auf: „Wie beweise ich?“
Liefert die Grundlage für alle Logiken
Norbert Gratzl studierte Philosophie, Soziologie und Politikwissenschaft in Salzburg und promovierte 2002 im Fachbereich Philosophie. Von 2009 bis 2010 war er akkreditierter parlamentarischer Assistent am Europäischen Parlament. Seit 2010 ist er am Munich Center for Mathematical Philosophy der Ludwig-Maximilians-Universität München angestellt, an dem er seit 2022 als akademischer Oberrat tätig ist. Er ist außerdem Mitglied diverser Auswahlgremien sowie Koordinator des Studiengangs „Logic and Philosophy of Science“ am MCMP. 2022 und 2023 gewann er einen Preis für gute Lehre.
| Erscheint lt. Verlag | 15.5.2026 |
|---|---|
| Verlagsort | München |
| Sprache | deutsch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Informatik • Linguistik • Logik • Mathematik • Metalogik • Philosophie • Prädikatenlogik • Schlusssystem • Semantik • Sprache • Syntaktik • Vollständigkeitsansatz |
| ISBN-10 | 3-446-48611-9 / 3446486119 |
| ISBN-13 | 978-3-446-48611-9 / 9783446486119 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
Wenn Computer mit plus und mal an ihre Grenzen stoßen
Buch | Softcover (2025)
Springer (Verlag)
CHF 32,15
