Menu
Află starea comenzii
Contactați-ne
Carte Aussagenlogik: Deduktion Und Algorithmen Hans Kleine-Büning

Aussagenlogik: Deduktion Und Algorithmen

Autor: Hans Kleine-Büning, Theodor Lettmann
Limbă: germană
Legare: Carte broșată
Editura: Springer Fachmedien Wiesbaden
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
328.70 lei
Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasier...

Informații despre carte

Autor
Hans Kleine-Büning, Theodor Lettmann
Limbă
germană
Legare
Carte - Carte broșată
Publicat
1994
Pagini
448
EAN
9783519021339
ISBN
3519021331
Enbook ID
06801868
Editura
Springer Fachmedien Wiesbaden
Greutate
680
Dimensiuni
155 x 235 x 25

Descriere completă

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.

S-ar putea să te intereseze

Black Witch

Freya Rall
116.11 lei

Clienții care au cumpărat această carte au mai cumpărat și

Gospel According to Viva Las Vegas

Viva Las Vegas
57.34 lei

Factibilidad de los cultivos ancestrales

Amado Escobar David Fernando
172.76 lei

A Teologia do Batismo no Espírito Santo

Erico Tadeu Xavier
228.00 lei

New Enemy

Andy McNab
40.51 lei

TOME II 1ERE PARTIE COLONIES FRANCAISES

ET TELLIER
181.33 lei

Ainsi parlait Marcel Proust

Proust
93.23 lei

Digital Protective Relays

Vladimir Gurevich
531.10 lei

Writers and Their Cats

Alison Nastasi
75.79 lei

Handbook of Discrete and Combinatorial Mathematics

Kenneth H. Rosen
1 894.21 lei

Getting Started with OpenBTS

Michael Ledema
113.09 lei

Groundwater and Ecosystems

Alper Baba
551.47 lei

Elsewhere at Home

Iwon Blum
96.76 lei

Karma Hotel

Samineh Izedi Shaheem
32.95 lei

How to Eliminate Fear of Global Economic Recession and Terrorism

Wayne Rollan Melton
112.89 lei

Decentralized Human Resources Management and Capacity

Aliyou Wudu
254.01 lei

Cinemagic

Ljudmila Mila Popovich
328.49 lei

Speaking of Epidemics in Chinese Medicine

Marta Hanson
432.02 lei

Social Capital and Sport Governance in Europe

Margaret Groeneveld
1 246.48 lei

500 Potato Recipes

Elizabeth Woodland
58.35 lei

Marine Biotechnology I

Yves Le Gal
1 651.19 lei