Andere Kunden interessierten sich auch für
![Abstrakte Maschine]( "Abstrakte Maschine")
Abstrakte Maschine34,00 €![Algorithmen]( "Algorithmen")
Algorithmen41,99 €![Computability and Complexity Theory]( "Computability and Complexity Theory")
Computability and Complexity Theory64,99 €![Computational Logic]( "Computational Logic")
Computational Logic112,99 €![Logik: Grundlagen, das P-vs-NP-Problem und informationstheoretische Perspektiven]( "Logik: Grundlagen, das P-vs-NP-Problem und informationstheoretische Perspektiven")
Logik: Grundlagen, das P-vs-NP-Problem und informationstheoretische Perspektiven14,99 €![Computergestützte Bestandserfassung und -planung]( "Computergestützte Bestandserfassung und -planung")
Computergestützte Bestandserfassung und -planung61,90 €![Change Management in der IT]( "Change Management in der IT")
Change Management in der IT49,00 €
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.