Mohlo by se vám také líbit

Více informací o knize Formale Logik

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 81 bodů

Anotace knihy

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.

Parametry knihy

• Plný název: Formale Logik
• Autor: Lucien Sina
• Jazyk: Němčina
• Vazba: Brožovaná
• Počet stran: 786
• EAN: 9783696394318
• ISBN: 3696394319
• ID: 52295831
• Nakladatelství: Books on Demand
• Hmotnost: 766 g
• Rozměry: 203 × 127 × 40 mm
• Datum vydání: 05. May 2026

---

---

---