Zur Startseite gehen
0,00 €*
Cover: 9783639866667 | Das Modifikationsproblem der Aussagenlogik | Sven Sieverding | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Das Modifikationsproblem der Aussagenlogik
und dessen Auswirkungen auf das Erfüllbarkeitsproblem
Taschenbuch von Sven Sieverding
Sprache: Deutsch

39,90 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
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.
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.
Über den Autor
Sven Sieverding wurde 1977 in Cloppenburg geboren, hat 2006 an der Uni Oldenburg ein Studium der Informatik erfolgreich abgeschlossen und arbeitet seitdem als Unternehmensberater für E-Commerce.
Details
Erscheinungsjahr: 2015
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: 104 S.
ISBN-13: 9783639866667
ISBN-10: 3639866665
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Sieverding, Sven
Hersteller: AV Akademikerverlag
Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 220 x 150 x 7 mm
Von/Mit: Sven Sieverding
Erscheinungsdatum: 26.08.2015
Gewicht: 0,173 kg
Artikel-ID: 104239500
Über den Autor
Sven Sieverding wurde 1977 in Cloppenburg geboren, hat 2006 an der Uni Oldenburg ein Studium der Informatik erfolgreich abgeschlossen und arbeitet seitdem als Unternehmensberater für E-Commerce.
Details
Erscheinungsjahr: 2015
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: 104 S.
ISBN-13: 9783639866667
ISBN-10: 3639866665
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Sieverding, Sven
Hersteller: AV Akademikerverlag
Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 220 x 150 x 7 mm
Von/Mit: Sven Sieverding
Erscheinungsdatum: 26.08.2015
Gewicht: 0,173 kg
Artikel-ID: 104239500
Sicherheitshinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...