Books > Professional & Technical > Technology: general issues > Engineering: general
|
Buy Now
Aussagenlogik: Deduktion Und Algorithmen (German, Paperback, 1994 ed.)
Loot Price: R2,016
Discovery Miles 20 160
|
|
Aussagenlogik: Deduktion Und Algorithmen (German, Paperback, 1994 ed.)
Series: Leitfaden und Monographien der Informatik
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.