Buchcover von Das Modifikationsproblem der Aussagenlogik
Buchtitel:

Das Modifikationsproblem der Aussagenlogik

und dessen Auswirkungen auf das Erfüllbarkeitsproblem

AV Akademikerverlag (26.08.2015 )

Books loader

Omni badge gutscheinfähig
ISBN-13:

978-3-639-86666-7

ISBN-10:
3639866665
EAN:
9783639866667
Buchsprache:
Deutsch
Klappentext:
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.
Verlag:
AV Akademikerverlag
Webseite:
http://www.akademikerverlag.de/
von (Autor):
Sven Sieverding
Seitenanzahl:
104
Veröffentlicht am:
26.08.2015
Lagerbestand:
Lieferbar
Kategorie:
Informatik, EDV
Preis:
39,90 €
Stichworte:
Komplexitätstheorie, Theoretische Informatik, Boolesche Ausdrücke, Erfüllbarkeitsproblem, PNP

Books loader

Newsletter

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal CryptoWallet Überweisung

  0 Produkte im Warenkorb
Warenkorb bearbeiten
Loading frontend
LOADING