Placeholder text

Go to cart

Aussagenlogik: Deduktion und Algorithmen

Aussagenlogik: Deduktion und Algorithmen Computer Science

Aussagenlogik: Deduktion und Algorithmen

Only 1 item left in stock
Description
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.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
452
Release Date:
1994-01-01
Publication Date:
1994-01-01
Publisher:
Vieweg+Teubner Verlag
Languages:
Original: German
ISBN10:
3519021331
ISBN13:
9783519021339
GPSR Manufacturer Reference:
[email protected]
Weight:
680 g
Height:
155 cm
Width:
235 cm
Thickness:
25 cm
Buy on Amazon

Condition

Show more

Show less
Good
The items bear minimal signs of past use, such as light scratches or memories in the form of markings. These signs of wear give the items a charming character and tell stories of their previous owners, while not affecting their functionality.
Available immediately
€2,49

Incl. VAT, plus shipping costs

PayPal
Visa
Mastercard
American Express
Only 1 item left in stock

Verified second-hand article

Verified second-hand item

Free shipping from 19€

€2,49