Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Aussagenlogik: Deduktion Und Algorithmen Hans Kleine-Büning

Aussagenlogik: Deduktion Und Algorithmen

Autor: Hans Kleine-Büning, Theodor Lettmann
Jazyk: Němčina
Vazba: Brožovaná
Vydavatel: Springer Fachmedien Wiesbaden
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 359 Kč
Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasier...

Informace o knize

Autor
Hans Kleine-Büning, Theodor Lettmann
Jazyk
Němčina
Vazba
Kniha - Brožovaná
Vydáno
1994
Stránek
448
EAN
9783519021339
ISBN
3519021331
Enbook ID
06801868
Vydavatel
Springer Fachmedien Wiesbaden
Hmotnost
680
Rozměry
155 x 235 x 25

Kompletní popis

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.

Mohlo by vás zajímat

Black Witch

Freya Rall
476 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Gospel According to Viva Las Vegas

Viva Las Vegas
234 Kč

Factibilidad de los cultivos ancestrales

Amado Escobar David Fernando
710 Kč

A Teologia do Batismo no Espírito Santo

Erico Tadeu Xavier
1 053 Kč

New Enemy

Andy McNab
190 Kč

TOME II 1ERE PARTIE COLONIES FRANCAISES

ET TELLIER
835 Kč

Ainsi parlait Marcel Proust

Proust
430 Kč

Digital Protective Relays

Vladimir Gurevich
2 247 Kč

Writers and Their Cats

Alison Nastasi
308 Kč

Handbook of Discrete and Combinatorial Mathematics

Kenneth H. Rosen
8 348 Kč

Getting Started with OpenBTS

Michael Ledema
476 Kč

Groundwater and Ecosystems

Alper Baba
2 286 Kč

Elsewhere at Home

Iwon Blum
398 Kč

Karma Hotel

Samineh Izedi Shaheem
121 Kč

How to Eliminate Fear of Global Economic Recession and Terrorism

Wayne Rollan Melton
475 Kč

Decentralized Human Resources Management and Capacity

Aliyou Wudu
1 173 Kč

Cinemagic

Ljudmila Mila Popovich
1 377 Kč

Speaking of Epidemics in Chinese Medicine

Marta Hanson
1 827 Kč

Social Capital and Sport Governance in Europe

Margaret Groeneveld
5 272 Kč

500 Potato Recipes

Elizabeth Woodland
237 Kč

Marine Biotechnology I

Yves Le Gal
6 845 Kč