Könyv Formale Logik Lucien Sina

Formale Logik

DE

Szerző: Lucien Sina
Nyelv: Német
Kötés: Kemény kötésű
Kiadó: tredition
Elérhetőség: Várható készletfeltöltés
Küldés 11. 05. 2026
12 570 Ft
Warum sind manche Schlüsse zwingend, und wo liegen die Grenzen formaler Systeme?Dieses Buch bietet e...

Információk a könyvről

Szerző
Nyelv
Német
Kötés
Könyv - Kemény kötésű
Kiadva
2026
oldal
784
EAN
9783384901095
Enbook ID
52233284
Kiadó
Súly
914
Méretek
120 x 190

Teljes leírás

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.

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Foster Sisters

Edmond Brenan Loughnan
14 937 Ft

Traces vives

Lytta Basset
9 160 Ft