Menu
Află starea comenzii
Contactați-ne
Carte Formale Logik Lucien Sina

Formale Logik

DE

Autor: Lucien Sina
Limbă: germană
Legare: Copertă tare
Editura: tredition
Disponibilitate: Așteptăm intrarea în stoc
Ediția 11. 05. 2026
176.01 lei
Warum sind manche Schlüsse zwingend, und wo liegen die Grenzen formaler Systeme?Dieses Buch bietet e...

Informații despre carte

Autor
Lucien Sina
Limbă
germană
Legare
Carte - Copertă tare
Publicat
2026
Pagini
784
EAN
9783384901095
Enbook ID
52233284
Editura
tredition
Greutate
914
Dimensiuni
120 x 190

Descriere completă

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.

Clienții care au cumpărat această carte au mai cumpărat și

Foster Sisters

Edmond Brenan Loughnan
213.59 lei

Essentials of Finance and Accounting for Nonfinancial Managers

Fields
105.99 lei

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

Wayne Clifford
84.93 lei

Sentence Arbitrale Rendue Par Sa Majeste l'Empereur Des Francais

NAPOLEON III
98.03 lei

Cultural Legacy of the Royal Game of the Goose

Adrian Seville
960.80 lei

Traces vives

Lytta Basset
134.70 lei