Mehr als 75.000 Teilnehmer in 30 Jahren
Logo der Firma www.IT-Visions.de
MENU

Fachbuch
Das Modifikationsproblem der Aussagenlogik
von dem www.IT-Visions.de-Experten Sven Sieverding

Kurz-Informationen zu diesem Fachbuch

Buchcover Das Modifikationsproblem der Aussagenlogik: und dessen Auswirkungen auf das Erfüllbarkeitsproblem
Titel: Das Modifikationsproblem der Aussagenlogik
Untertitel: und dessen Auswirkungen auf das Erfüllbarkeitsproblem
Umfang: 104 Seiten
Zielgruppe: Informatiker
Autor(en): Sven Sieverding
Preis: 39,90 €
Verlag: AV Akademikerverlag, Saarbrücken 2015
ISBN: 978-3639866667
Erscheinungstermin: 26.08.2015

Beschreibung zu diesem Fachbuch

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.

Weitere Fachbücher

.NET-Bücher von www.IT-Visions.de
Buch-Abo: Ab 99 Euro/Jahr
Alle Bücher von den www.IT-Visions.de-Experten

Weitere Informationen

FAQ zu unseren Büchern
Weitere Veröffentlichungen von www.IT-Visions.de-Experten

Transparenzhinweis

Diese Seite enthält Partner-Links. Wenn Sie auf einen Amazon-Link klicken und dort kaufen, erhalten wir eine Provision.