Logik und Grundlagen der Mathematik, Band 22: Klassische und nichtklassische Aussagenlogik
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Logik und Grundlagen der Mathematik, Band 22: Klassische und nichtklassische Aussagenlogik" von Wolfgang Rautenberg bietet eine umfassende Einführung in die Aussagenlogik, sowohl in ihrer klassischen als auch in ihren nichtklassischen Formen. Das Buch beginnt mit einer detaillierten Darstellung der klassischen Aussagenlogik, einschließlich ihrer Syntax, Semantik und der grundlegenden Techniken des Beweisens. Anschließend werden verschiedene nichtklassische Logiken untersucht, wie zum Beispiel modale Logiken, intuitionistische Logiken und mehrwertige Logiken. Rautenberg legt besonderen Wert auf die formalen Eigenschaften dieser Systeme und ihre Anwendungen in verschiedenen Bereichen der Mathematik und Informatik. Durch zahlreiche Beispiele und Übungen wird das Verständnis der theoretischen Konzepte gefördert, was das Buch zu einer wertvollen Ressource für Studierende und Fachleute macht, die sich mit logischen Systemen auseinandersetzen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
![Logische Untersuchungen [Taschenbuch].](https://d3k2uuz9r025mk.cloudfront.net/media/image/3f/70/e0/1758785848_91598291536.jpg "Logische Untersuchungen [Taschenbuch].")