Prädikatenlogik
Kurzinformation
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
Das Buch „Prädikatenlogik“ behandelt die formale Logik, die über die Aussagenlogik hinausgeht und es ermöglicht, komplexere Argumente und Strukturen zu analysieren. Es führt in die grundlegenden Konzepte der Prädikatenlogik ein, wie Terme, Prädikate, Quantoren (Allquantor und Existenzquantor) sowie Variablen. Das Werk erklärt die Syntax und Semantik der Prädikatenlogik und zeigt auf, wie man mit ihr formale Beweise führen kann. Zudem wird oft auf Anwendungen in Mathematik, Informatik und Philosophie eingegangen. Ziel des Buches ist es, den Leserinnen und Lesern ein tiefes Verständnis für die Ausdruckskraft der Prädikatenlogik zu vermitteln und ihre Fähigkeit zur präzisen Argumentation zu schulen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Kartoniert
- 376 Seiten
- Erschienen 1979
- Vieweg
- hardcover
- 206 Seiten
- Erschienen 2005
- Harvard University Press
- hardcover
- 322 Seiten
- Erschienen 2011
- OUP Oxford
- Gebunden
- 314 Seiten
- Erschienen 2017
- Klett-Cotta
- hardcover
- 536 Seiten
- Erschienen 1993
- Mouton de Gruyter
- Kartoniert
- 351 Seiten
- Erschienen 2016
- Wiley-VCH



