Formale Logik

Name: Formale Logik
Price: 9.99 EUR
Availability: InStock
Author: Lucien Sina
ISBN: 978-3-6963-3666-0

Par : Lucien Sina

Formats :

E-book - PDF

9,99 €

Disponible dans votre compte client Decitre ou Furet du Nord dès validation de votre commande. Le format PDF est :

Compatible avec une lecture sur My Vivlio (smartphone, tablette, ordinateur)
Compatible avec une lecture sur liseuses Vivlio
Pour les liseuses autres que Vivlio, vous devez utiliser le logiciel Adobe Digital Edition. Non compatible avec la lecture sur les liseuses Kindle, Remarkable et Sony

, qui est-ce ?

Notre partenaire de plateforme de lecture numérique où vous retrouverez l'ensemble de vos ebooks gratuitement

Pour en savoir plus sur nos ebooks, consultez notre aide en ligne ici

C'est si simple ! Lisez votre ebook avec l'app Vivlio sur votre tablette, mobile ou ordinateur :

Nombre de pages786
FormatPDF
ISBN978-3-6963-3666-0

EAN9783696336660
Date de parution19/05/2026
Protection num.Digital Watermarking
Taille3 Mo
Infos supplémentairespdf
ÉditeurBoD - Books on Demand

Résumé

Warum sind manche Schlüsse zwingend, und wo liegen die Grenzen formaler Systeme? Dieses Buch führt verständlich und systematisch in die formale Logik ein. Behandelt werden die Aussagenlogik und die Prädikatenlogik ebenso wie Äquivalenzen, Normalformen, Resolution und Verfahren des automatischen Schließens. Schritt für Schritt werden die zentralen Begriffe und Methoden entwickelt, sodass auch Einsteiger den Aufbau logischer Systeme gut nachvollziehen können. Ergänzt wird dies durch einen Zugang zu Modallogik und nichtklassischen Logiken wie Fuzzy-Logik, Defaultlogik und Antwortmengenprogrammierung.
Ein besonderer Schwerpunkt liegt auf den Gödelschen Unvollständigkeitssätzen, die zeigen, dass selbst formale Systeme prinzipielle Grenzen haben. Ein klar geschriebenes Buch für alle, die präziser denken, sicherer argumentieren und die Grundlagen moderner Mathematik und Informatik verstehen möchten.