Verwandte Artikel zu Aussagenlogik: Deduktion und Algorithmen (Leitfäden...
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Aussagenlogik: Deduktion und Algorithmen (Leitfäden...
Beispielbild für diese ISBN
Aussagenlogik. Deduktion und Algorithmen.
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Sehr gut. Stuttgart, Teubner 1994. gr.8°. Einige Abb. X, 438 S. OKart. Leitfäden und Monographien der Informatik.- Mit Übungsaufgaben.- Mit Literaturverzeichnis. Bestandsnummer des Verkäufers 69520
Gebraucht kaufen
EUR 12,00
EUR 45,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Aussagenlogik: Deduktion und Algorithmen : Deduktion und Algorithmen
Print-on-DemandAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Bestandsnummer des Verkäufers 6666-IUK-9783519021339
Neu kaufen
EUR 64,99
EUR 7,70 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 20 verfügbar
Beispielbild für diese ISBN
Aussagenlogik : Deduktion Und Algorithmen -Language: German
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 18707846-n
Neu kaufen
EUR 72,44
EUR 2,35 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Aussagenlogik: Deduktion und Algorithmen
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very Good. Bestandsnummer des Verkäufers 0A1B047C4AC3EBA
Gebraucht kaufen
EUR 72,35
EUR 14,95 Versand
Versand von Niederlande nach USA
Versand von Niederlande nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Aussagenlogik: Deduktion und Algorithmen
Verlag:
Vieweg+Teubner, Vieweg+Teubner Verlag Jan 1994, 1994
ISBN 10: 3519021331
ISBN 13: 9783519021339
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'. Dieses Lehrbuch . stellt die Grundlagen dieses Gebiets ausführlich und umfassend . dar.' P. Schmitt. Internationale Mathematische Nachrichten, Wien 438 pp. Deutsch. Bestandsnummer des Verkäufers 9783519021339
Neu kaufen
EUR 64,99
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Bestandsnummer des Verkäufers ria9783519021339_new
Neu kaufen
EUR 75,24
EUR 13,39 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Aussagenlogik: Deduktion und Algorithmen : Deduktion und Algorithmen
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - '. Dieses Lehrbuch . stellt die Grundlagen dieses Gebiets ausführlich und umfassend . dar.' P. Schmitt. Internationale Mathematische Nachrichten, Wien. Bestandsnummer des Verkäufers 9783519021339
Neu kaufen
EUR 64,99
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Aussagenlogik
Verlag:
Walter de Gruyter, Incorporated, 1994
ISBN 10: 3519021331
ISBN 13: 9783519021339
Neu
Softcover
Anbieter: Books Puddle, Woodside, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 452. Bestandsnummer des Verkäufers 2648034296
Neu kaufen
EUR 104,74
EUR 3,55 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Aussagenlogik
Verlag:
Walter de Gruyter, Incorporated, 1994
ISBN 10: 3519021331
ISBN 13: 9783519021339
Neu
Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 452 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 44781095
Neu kaufen
EUR 105,56
EUR 7,71 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Aussagenlogik: Deduktion und Algorithmen
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Einfuehrung in die Aussagenlogik.- 1.1 Syntax und Semantik der Aussagenlogik.- 1.2 Einfache Zusammenhaenge.- 1.3 Uebungsaufgaben.- 2 Datenstrukturen und Normalformen.- 2.1 Allgemeine Datenstruktur fuer aussagenlogische Formeln.- 2.2 Negationsnormalform (NNF). Bestandsnummer des Verkäufers 4859091
Neu kaufen
EUR 64,99
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar