Zur Startseite gehen
0,00 €*
Cover: 9783519021339 | Aussagenlogik: Deduktion und Algorithmen | Deduktion und Algorithmen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Aussagenlogik: Deduktion und Algorithmen
Deduktion und Algorithmen
Taschenbuch von Theodor Lettmann
Sprache: Deutsch

64,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasierter Systeme und iiber Deduktionssysteme. Ein zen­ trales Thema dieser Veranstaltungen ist die Frage, inwieweit und mit wel­ chen Verfahren man entscheiden kann, ob aus einem Ausdruck ein anderer Ausdruck folgt. Flir die Pradikatenlogik und deren Teilklassen tritt diese Problemstellung z.B. in der Logik-Programmierung, dem automatischen Be­ weisen, in Inferenzkomponenten wissensbasierter Systeme und - aquivalent formuliert - als Erfiillbarkeitsproblem auf. Es hat sich dabei herausgestellt, daB selbst die fiir die Aussagenlogik interes­ santen Resultate zu reichhaltig sind, urn sie zusammen mit der Pradikaten­ logik in nur einem Zyklus zu behandeln. Da aber viele Ergebnisse fiir eine effiziente Behandlung der vollen Pradikatenlogik von groBem N utzen sind, haben wir uns entschlossen, die Themenbereiche, die von allgemeinem Inter­ esse sind, zu sammeln, zusammenhangend aufzuarbeiten und in Buchform zu veroffentlichen. Aber selbst die Beschrankung auf die Aussagenlogik ist nicht ausreichend, urn wirklich aile Problemstellungen und Ansatze aufzu­ nehmen. Wir haben daher hier zu Gunsten der Grundlagen und von eher klassischen Inhalten auf Abschnitte iiber z.B. die mehrwertige Aussagenlogik verzichtet.
Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasierter Systeme und iiber Deduktionssysteme. Ein zen­ trales Thema dieser Veranstaltungen ist die Frage, inwieweit und mit wel­ chen Verfahren man entscheiden kann, ob aus einem Ausdruck ein anderer Ausdruck folgt. Flir die Pradikatenlogik und deren Teilklassen tritt diese Problemstellung z.B. in der Logik-Programmierung, dem automatischen Be­ weisen, in Inferenzkomponenten wissensbasierter Systeme und - aquivalent formuliert - als Erfiillbarkeitsproblem auf. Es hat sich dabei herausgestellt, daB selbst die fiir die Aussagenlogik interes­ santen Resultate zu reichhaltig sind, urn sie zusammen mit der Pradikaten­ logik in nur einem Zyklus zu behandeln. Da aber viele Ergebnisse fiir eine effiziente Behandlung der vollen Pradikatenlogik von groBem N utzen sind, haben wir uns entschlossen, die Themenbereiche, die von allgemeinem Inter­ esse sind, zu sammeln, zusammenhangend aufzuarbeiten und in Buchform zu veroffentlichen. Aber selbst die Beschrankung auf die Aussagenlogik ist nicht ausreichend, urn wirklich aile Problemstellungen und Ansatze aufzu­ nehmen. Wir haben daher hier zu Gunsten der Grundlagen und von eher klassischen Inhalten auf Abschnitte iiber z.B. die mehrwertige Aussagenlogik verzichtet.
Inhaltsverzeichnis
1 Einführung in die Aussagenlogik.- 1.1 Syntax und Semantik der Aussagenlogik.- 1.2 Einfache Zusammenhänge.- 1.3 Übungsaufgaben.- 2 Datenstrukturen und Normalformen.- 2.1 Allgemeine Datenstruktur für aussagenlogische Formeln.- 2.2 Negationsnormalform (NNF).- 2.3 Konjunktive Normalform.- 2.4 Weitere Normalformen.- 2.5 Übungsaufgaben.- 3 Erfüllbarkeit.- 3.1 Komplexität von Erfüllbarkeitsproblemen.- 3.2 Sammlung von aussagenlogischen Problemen.- 3.3 Erfüllbarkeit und 2-KNF.- 3.4 Davis-Putnam-Algorithmen.- 3.5 Komplexitätsanalyse von Davis-Putnam-Algorithmen.- 3.6 Relaxations-Algorithmus.- 3.7 Unabhängige Klauseln.- 3.8 Konnektionsmethode.- 3.9 Partielle Erfüllbarkeitsalgorithmen.- 3.10 Verteilung erfüllbarer Formeln.- 3.11 Übungsaufgaben.- 4 Resolution.- 4.1 Grundlagen der Resolution.- 4.2 Länge von Resolutionsbeweisen.- 4.3 Resolutionsstrategien.- 4.4 Klauselorientierte Resolution.- 4.5 Übungsaufgaben.- 5 Horn-Logik.- 5.1 Grundlagen.- 5.2 Umbenennung.- 5.3 Unit-Resolution.- 5.4 Unique-Satisfiability für Horn-Formeln.- 5.5 Reduktion von Horn-Formeln.- 5.6 Äquivalenzprobleme.- 5.7 SLD-Resolution.- 5.8 Erweiterung der Horn-Logik.- 5.9 Übungsaufgaben.- 6 Kalküle.- 6.1 Frege-Systeme.- 6.2 Lineare Ungleichungssysteme.- 6.3 Tableau-Kalküle.- 6.4 Der Sequenzenkalkül.- 6.5 Vergleich aussagenlogischer Beweissysteme.- 7 Quantifizierte Formeln.- 7.1 Einführung.- 7.2 Normalformen.- 7.3 Q-Resolution.- 7.4 Q-Unit-Resolution.- 7.5 Quantifizierte HORN-Formeln.- 7.6 Quantifizierte 2-KNF-Formeln.- 7.7 Übungsaufgaben.- Algorithmenverzeichnis.- Symbolverzeichnis.
Details
Erscheinungsjahr: 1994
Fachbereich: Arithmetik & Algebra
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 452
Reihe: Leitfäden und Monographien der Informatik
Inhalt: x
438 S.
ISBN-13: 9783519021339
ISBN-10: 3519021331
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Lettmann, Theodor
Auflage: 1994
Hersteller: Vieweg & Teubner
Vieweg+Teubner Verlag
Leitfäden und Monographien der Informatik
Maße: 235 x 155 x 25 mm
Von/Mit: Theodor Lettmann
Erscheinungsdatum: 01.01.1994
Gewicht: 0,68 kg
Artikel-ID: 101995701
Inhaltsverzeichnis
1 Einführung in die Aussagenlogik.- 1.1 Syntax und Semantik der Aussagenlogik.- 1.2 Einfache Zusammenhänge.- 1.3 Übungsaufgaben.- 2 Datenstrukturen und Normalformen.- 2.1 Allgemeine Datenstruktur für aussagenlogische Formeln.- 2.2 Negationsnormalform (NNF).- 2.3 Konjunktive Normalform.- 2.4 Weitere Normalformen.- 2.5 Übungsaufgaben.- 3 Erfüllbarkeit.- 3.1 Komplexität von Erfüllbarkeitsproblemen.- 3.2 Sammlung von aussagenlogischen Problemen.- 3.3 Erfüllbarkeit und 2-KNF.- 3.4 Davis-Putnam-Algorithmen.- 3.5 Komplexitätsanalyse von Davis-Putnam-Algorithmen.- 3.6 Relaxations-Algorithmus.- 3.7 Unabhängige Klauseln.- 3.8 Konnektionsmethode.- 3.9 Partielle Erfüllbarkeitsalgorithmen.- 3.10 Verteilung erfüllbarer Formeln.- 3.11 Übungsaufgaben.- 4 Resolution.- 4.1 Grundlagen der Resolution.- 4.2 Länge von Resolutionsbeweisen.- 4.3 Resolutionsstrategien.- 4.4 Klauselorientierte Resolution.- 4.5 Übungsaufgaben.- 5 Horn-Logik.- 5.1 Grundlagen.- 5.2 Umbenennung.- 5.3 Unit-Resolution.- 5.4 Unique-Satisfiability für Horn-Formeln.- 5.5 Reduktion von Horn-Formeln.- 5.6 Äquivalenzprobleme.- 5.7 SLD-Resolution.- 5.8 Erweiterung der Horn-Logik.- 5.9 Übungsaufgaben.- 6 Kalküle.- 6.1 Frege-Systeme.- 6.2 Lineare Ungleichungssysteme.- 6.3 Tableau-Kalküle.- 6.4 Der Sequenzenkalkül.- 6.5 Vergleich aussagenlogischer Beweissysteme.- 7 Quantifizierte Formeln.- 7.1 Einführung.- 7.2 Normalformen.- 7.3 Q-Resolution.- 7.4 Q-Unit-Resolution.- 7.5 Quantifizierte HORN-Formeln.- 7.6 Quantifizierte 2-KNF-Formeln.- 7.7 Übungsaufgaben.- Algorithmenverzeichnis.- Symbolverzeichnis.
Details
Erscheinungsjahr: 1994
Fachbereich: Arithmetik & Algebra
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 452
Reihe: Leitfäden und Monographien der Informatik
Inhalt: x
438 S.
ISBN-13: 9783519021339
ISBN-10: 3519021331
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Lettmann, Theodor
Auflage: 1994
Hersteller: Vieweg & Teubner
Vieweg+Teubner Verlag
Leitfäden und Monographien der Informatik
Maße: 235 x 155 x 25 mm
Von/Mit: Theodor Lettmann
Erscheinungsdatum: 01.01.1994
Gewicht: 0,68 kg
Artikel-ID: 101995701
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783034601436 | Einführung in die angewandte Geometrie | Bert Jüttler (u. a.) | Buch
Einführung in die angewandte Geometrie
EAN: 9783034601436
Sprache: Deutsch
Von/Mit: Bert Jüttler (u. a.)

19,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783486580914 | Simulink für Ingenieure | Grundlagen und Beispiele | Grupp (u. a.)
Simulink
Grundlagen und Beispiele
EAN: 9783486580914
Sprache: Deutsch
Von/Mit: Florian Grupp (u. a.)

21,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780521548311 | Knots and Links | Peter R. Cromwell (u. a.) | Taschenbuch | Paperback
Knots and Links
EAN: 9780521548311
Von/Mit: Peter R. Cromwell (u. a.)

94,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783540405993 | Maschinendynamik | Rudolf Jürgler | Buch | VDI-Buch | X | Deutsch
Maschinendynamik
EAN: 9783540405993
Sprache: Deutsch
Von/Mit: Rudolf Jürgler

74,99 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783540058892 | Elementare Differentialgeometrie | Kurt Leichtweiß | Taschenbuch | X
Elementare Differentialgeometrie
EAN: 9783540058892
Sprache: Deutsch
Von/Mit: Kurt Leichtweiß

69,99 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781493932634 | Turning Points in the History of Mathematics | Israel Kleiner (u. a.)
Turning Points in the History of Mathematics
EAN: 9781493932634
Sprache: Englisch
Von/Mit: Israel Kleiner (u. a.)

44,45 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9781108422277 | Rocket Propulsion | Timothée L. Pourpoint | Buch | Englisch | 2019
Rocket Propulsion
EAN: 9781108422277
Sprache: Englisch
Von/Mit: Stephen D. Heister (u. a.)

76,80 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783946073208 | Design-FMEA Arbeitsbuch | Erstellen Sie Ihre erste eigene FMEA | Buch
Design-FMEA Arbeitsbuch
Erstellen Sie Ihre erste eigene FMEA
EAN: 9783946073208
Sprache: Deutsch
Von/Mit: Martin Werdich (u. a.)

39,98 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783662645604 | Wie Physiker denken | Jürgen Thomas | Taschenbuch | XIV | Deutsch
Wie Physiker denken
Schritt für Schritt in die Physik mit Beispielen zur Bewegung starrer Körper
EAN: 9783662645604
Sprache: Deutsch
Von/Mit: Jürgen Thomas

39,99 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783658361501 | Bruchmechanische Bauteilbewertung | Mauro Madia (u. a.) | Buch | XXIV
Bruchmechanische Bauteilbewertung
EAN: 9783658361501
Sprache: Deutsch
Von/Mit: Mauro Madia (u. a.)

54,99 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9780273768449 | Engineering Vibrations | International Edition | Daniel Inman | Buch
Engineering Vibrations
International Edition
EAN: 9780273768449
Sprache: Englisch
Von/Mit: Daniel Inman

112,95 €*

Lieferzeit 1-2 Wochen

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