Formale Logik [German]

By Lucien Sina

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.

• Format: Paperback
• Language: German
• ISBN: 3696394319
• ISBN13: 9783696394318
• Release Date: May 2026
• Publisher: Bod - Books on Demand
• Length: 786 Pages
• Weight: 1.68 lbs.
• Dimensions: 1.6" x 5.0" x 8.0"