0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Aussagenlogik: Deduktion Und Algorithmen (German, Paperback, 1994 ed.): Theodor Lettmann Aussagenlogik: Deduktion Und Algorithmen (German, Paperback, 1994 ed.)
Theodor Lettmann; As told to Hans Kleine Buning
R2,016 Discovery Miles 20 160 Ships in 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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Dirty Secrets Of The Rich And…
James-Brent Styan Paperback R290 R205 Discovery Miles 2 050
Bestway Swim Ring (56cm)
R50 R45 Discovery Miles 450
Cable Guy Ikon "Light Up" PlayStation…
R543 Discovery Miles 5 430
Microsoft Xbox Series X Console (1TB…
R14,999 Discovery Miles 149 990
Bostik Double-Sided Tape (18mm x 10m…
 (1)
R31 Discovery Miles 310
Bond No. 9 The Scent Of Peace Eau De…
R9,676 R8,827 Discovery Miles 88 270
Estee Lauder Beautiful Belle Eau De…
R2,241 R1,652 Discovery Miles 16 520
Luca Distressed Peak Cap (Khaki)
R249 Discovery Miles 2 490
The Papery A5 MOM 2025 Diary - Dragonfly
R349 R324 Discovery Miles 3 240
ZA Cute Puppy Love Paw Set (Necklace…
R712 R499 Discovery Miles 4 990

 

Partners