Das Modifikationsproblem der Aussagenlogik

Verfügbarkeit:
Auf Lager.
Artikelnummer:
1039995
  • Produktbeschreibung

    Das Modifikationsproblem der Aussagenlogik

    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.
  • Zusatzinformation

    Autor
    Bindung
    Taschenbuch
    Verlag
    AV Akademikerverlag
    ISBN / EAN
    9783639866667
  • Sie könnten auch an folgenden Produkten interessiert sein

    Art.Nr. 1957499

    Mongelli:Molecular Dynamics Simulations

    99,95
    Art.Nr. 1028277

    Reiß:Praxisbuch IT-Dokumentation

    46,30
    Art.Nr. 1479181

    Ramirez Molina:Diseño de una arquitectu

    71,00
  • 0 Kundenmeinungen

    Schreiben Sie selbst eine Rezension

    Ihre Meinung interessiert uns – und hilft anderen Kunden bei der Auswahl.

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