Von Logik zu Metalogik
44,99 €
Sofort verfügbar
Von Logik zu Metalogik, Carl Hanser Verlag
Einführung in die Metatheorie der Prädikatenlogik
Von Norbert Gratzl, im heise shop in digitaler Fassung erhältlich
Produktinformationen "Von Logik zu Metalogik"
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
Artikel-Details
- Anbieter:
- Carl Hanser Verlag
- Autor:
- Norbert Gratzl
- Artikelnummer:
- 9783446486430
- Veröffentlicht:
- 08.06.26
Barrierefreiheit
Dieses Werk genügt den grundsätzlichen Anforderungen an Barrierefreiheit. Es ist rein textuell erfassbar und hierarchisch aufgebaut.
- entspricht den Vorgaben der PDF / UA 1 (05)
- keine Vorlesefunktionen des Lesesystems deaktiviert (bis auf) (10)
- navigierbares Inhaltsverzeichnis (11)
- logische Lesereihenfolge eingehalten (13)
- Datum der letzten Bewertung der Barrierefreiheit (91)