ISBN: 9783519021339 - aussagenlogik: deduktion und algorithmen (leitfäden und monographien der informatik) (15 Ergebnisse)

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.

Zustand: New.

Zustand: New. In English.

Zustand: Very Good.

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.

Zustand: New. pp. 452.

Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Zustand: As New. Unread book in perfect condition.

Zustand: gut. Aussagenlogik: Deduktion und Algorithmen - Deduktion und Algorithmen In deutscher Sprache. pages.

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.

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.

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.

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).…

Zustand: New. PRINT ON DEMAND pp. 452.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Vieweg+Teubner Verlag, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 452 pp. Deutsch. …