商品簡介
Warum sind manche Schlse zwingend, und wo liegen die Grenzen formaler Systeme? Dieses Buch frt verst鄚dlich und systematisch in die formale Logik ein. Behandelt werden die Aussagenlogik und die Pr輐ikatenlogik ebenso wie 礦uivalenzen, Normalformen, Resolution und Verfahren des automatischen Schlie ens. Schritt f Schritt werden die zentralen Begriffe und Methoden entwickelt, sodass auch Einsteiger den Aufbau logischer Systeme gut nachvollziehen k霵nen. Erg鄚zt wird dies durch einen Zugang zu Modallogik und nichtklassischen Logiken wie Fuzzy-Logik, Defaultlogik und Antwortmengenprogrammierung. Ein besonderer Schwerpunkt liegt auf den G鐰elschen Unvollst鄚digkeitss酹zen, die zeigen, dass selbst formale Systeme prinzipielle Grenzen haben. Ein klar geschriebenes Buch f alle, die pr鉺iser denken, sicherer argumentieren und die Grundlagen moderner Mathematik und Informatik verstehen m鐼hten.
