MENÜ MENÜ
  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 / 14 3000 (0,14 €/Min., Mobil max. 0,42 €/Min.)

Das Modifikationsproblem der Aussagenlogik

Sieverding:Das Modifikationsproblem der
Autor: Sven Sieverding
Verfügbarkeit: Auf Lager.
Artikelnummer: 1039995
ISBN / EAN: 9783639866667

Verfügbarkeit: sofort lieferbar

39,90
Inkl. MwSt. , zzgl. Versandkosten

Zusatzinformation

  • Autor:
  • Verlag: AV Akademikerverlag
  • ISBN / EAN: 9783639866667
  • Bindung: Taschenbuch

Produktbeschreibung

Diese Arbeit beschäftigt sich mit dem Erfüllbarkeitsproblem der Aussagenlogik, also der Frage, ob es zu einem gegebenen booleschen Ausdruck in konjunktiver Normalform eine erfüllende Belegung gibt. In den ersten Kapiteln wird dieses Problem zunächst formal definiert und seine Wichtigkeit für die Informatik dargestellt, danach werden einige der bekannteren Lösungsverfahren hierfür beschrieben. Im Anschluss daran werden die Modifikation als eine neue syntaktische Operation, die Erfüllbarkeitsform als eine neue Normalform für boolesche Ausdrücke und das Modifikationsproblem selbst eingeführt. Zuletzt wird der Frage nach Lösungen für letzteres Problem und Auswirkungen auf bestehende Verfahren für das Erfüllbarkeitsproblem nachgegangen.

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: Das Modifikationsproblem der Aussagenlogik

  • Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!