Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Grundlagen der Informatik |
|---|---|
| Themen | Mathematik und Naturwissenschaften Mathematik Angewandte Mathematik Fuzzy-Set-Theorie |
| ISBN | 9783384901088 |
| Sprache | Deutsch |
| Erscheinungsdatum | 28.04.2026 |
| Größe | 190 x 120 mm |
| Verlag | tredition |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Heinz-Beusen-Stieg 5 | DE-22926 Ahrensburg operations@tredition.com |
Warum sind manche Schlüsse zwingend, und wo liegen die Grenzen formaler Systeme?Dieses Buch bietet einen verständlichen und systematischen Einstieg in die formale Logik. Es behandelt Aussagenlogik und Prädikatenlogik ebenso wie Äquivalenzen, Normalformen, Resolution und automatisches Schließen. Die zentralen Begriffe und Methoden werden Schritt für Schritt entwickelt und auch für Einsteiger gut nachvollziehbar dargestellt.Ergänzt wird dies durch Modallogik sowie nichtklassische Logiken wie Fuzzy-Logik, Defaultlogik und Antwortmengenprogrammierung. Ein besonderer Schwerpunkt liegt auf den Gödelschen Unvollständigkeitssätzen, die eindrucksvoll zeigen, dass formale Systeme prinzipielle Grenzen haben.Ein fundiertes Buch für alle, die Logik nicht nur anwenden, sondern wirklich verstehen möchten.
| Reihe | Grundlagen der Informatik |
|---|---|
| Themen | Mathematik und Naturwissenschaften Mathematik Angewandte Mathematik Fuzzy-Set-Theorie |
| ISBN | 9783384901088 |
| Sprache | Deutsch |
| Erscheinungsdatum | 28.04.2026 |
| Größe | 190 x 120 mm |
| Verlag | tredition |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Heinz-Beusen-Stieg 5 | DE-22926 Ahrensburg operations@tredition.com |
Wie gefällt Ihnen unser Shop?