Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formale Logik

DE

Language GermanGerman
Book Hardback
Book Formale Logik Lucien Sina
Libristo code: 52233284
Publishers tredition, April 2026
Warum sind manche Schlüsse zwingend, und wo liegen die Grenzen formaler Systeme?Dieses Buch bietet e... Full description
? points 88 b New New
12 859 Ft
Expected in stock Expected 11. 05. 2026

Up to 30 days for returns

Customers also purchased

Foster Sisters Edmond Brenan Loughnan / Book Hardback
common.buy 15 280 Ft
Essentials of Finance and Accounting for Nonfinancial Managers Fields / Book Paperback
common.buy 7 631 Ft
The Exile's Papers: The Dirt's Passion Is Flesh Sorrow Wayne Clifford / Book Paperback
common.buy 6 130 Ft
Sentence Arbitrale Rendue Par Sa Majeste l'Empereur Des Francais NAPOLEON III / Book Paperback
common.buy 7 005 Ft
Cultural Legacy of the Royal Game of the Goose Adrian Seville / Book Hardback
common.buy 68 989 Ft
Traces vives Lytta Basset / Book Paperback
common.buy 9 384 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formale Logik
Author Lucien Sina
Language German
Binding Book - Hardback
Date of issue 2026
Number of pages 784
EAN 9783384901095
Libristo code 52233284
Publishers tredition
Series Grundlagen der Informatik
Weight 914
Dimensions 120 x 190

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Mathematical foundations > Set theory
Mathematics & Science > Mathematics > Applied mathematics > Fuzzy set theory
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?