Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Formale Logik Lucien Sina

Formale Logik

DE

Autor: Lucien Sina
Jazyk: Němčina
Vazba: Pevná
Vydavatel: tredition
Dostupnost: Očekávané naskladnění
Naskladnění 11. 05. 2026
773 Kč
Warum sind manche Schlüsse zwingend, und wo liegen die Grenzen formaler Systeme?Dieses Buch bietet e...

Informace o knize

Autor
Lucien Sina
Jazyk
Němčina
Vazba
Kniha - Pevná
Vydáno
2026
Stránek
784
EAN
9783384901095
Enbook ID
52233284
Vydavatel
tredition
Hmotnost
914
Rozměry
120 x 190

Kompletní popis

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.

Zákaznicí kteří koupili tuto knihu koupili také

Foster Sisters

Edmond Brenan Loughnan
896 Kč

Essentials of Finance and Accounting for Nonfinancial Managers

Fields
431 Kč

The Exile's Papers: The Dirt's Passion Is Flesh Sorrow

Wayne Clifford
347 Kč

Sentence Arbitrale Rendue Par Sa Majeste l'Empereur Des Francais

NAPOLEON III
410 Kč

Cultural Legacy of the Royal Game of the Goose

Adrian Seville
4 056 Kč

Traces vives

Lytta Basset
623 Kč