Книга Formale Logik Lucien Sina

Formale Logik

DE

Автор: Lucien Sina
Език: Немски език
Корици: С твърди корици
Издател: tredition
Наличност: Очаква се зареждане
Издание 11. 05. 2026
35.25 68.94 лв
Warum sind manche Schlüsse zwingend, und wo liegen die Grenzen formaler Systeme?Dieses Buch bietet e...

Информация за книгата

Автор
Език
Немски език
Корици
Книга - С твърди корици
Издадена
2026
страници
784
EAN
9783384901095
Enbook ID
52233284
Издател
Теглоt
914
Размери
120 x 190

Пълно описание

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.

Клиенти, които купиха тази книга, купиха също

Foster Sisters

Edmond Brenan Loughnan
38.85 75.99 лв
183.23 358.36 лв

Traces vives

Lytta Basset
26.79 52.39 лв