Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Aussagenlogik: Deduktion Und Algorithmen Hans Kleine-Büning

Aussagenlogik: Deduktion Und Algorithmen

Autor: Hans Kleine-Büning, Theodor Lettmann
Język: Niemiecki
Oprawa: Miękka
Wydawca: Springer Fachmedien Wiesbaden
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
254.87 zł
Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasier...

Informacje o książce

Autor
Hans Kleine-Büning, Theodor Lettmann
Język
Niemiecki
Oprawa
Książka - Miękka
Data wydania
1994
strony
448
EAN
9783519021339
ISBN
3519021331
Enbook ID
06801868
Wydawca
Springer Fachmedien Wiesbaden
Waga
680
Wymiary
155 x 235 x 25

Pełny opis

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.

Możesz być zainteresowany

Black Witch

Freya Rall
89.64 zł

Klienci, którzy kupili tę książkę, kupili również

Gospel According to Viva Las Vegas

Viva Las Vegas
44.17 zł

Factibilidad de los cultivos ancestrales

Amado Escobar David Fernando
133.43 zł

A Teologia do Batismo no Espírito Santo

Erico Tadeu Xavier
186.57 zł

New Enemy

Andy McNab
33.15 zł

TOME II 1ERE PARTIE COLONIES FRANCAISES

ET TELLIER
148.39 zł

Ainsi parlait Marcel Proust

Proust
76.26 zł

Digital Protective Relays

Vladimir Gurevich
416.16 zł

Writers and Their Cats

Alison Nastasi
58.35 zł

Handbook of Discrete and Combinatorial Mathematics

Kenneth H. Rosen
1 476.22 zł

Getting Started with OpenBTS

Michael Ledema
88.46 zł

Groundwater and Ecosystems

Alper Baba
428.07 zł

Elsewhere at Home

Iwon Blum
74.88 zł

Karma Hotel

Samineh Izedi Shaheem
24.20 zł

How to Eliminate Fear of Global Economic Recession and Terrorism

Wayne Rollan Melton
88.26 zł

Decentralized Human Resources Management and Capacity

Aliyou Wudu
207.83 zł

Cinemagic

Ljudmila Mila Popovich
256.25 zł

Speaking of Epidemics in Chinese Medicine

Marta Hanson
338.52 zł

Social Capital and Sport Governance in Europe

Margaret Groeneveld
976.70 zł

500 Potato Recipes

Elizabeth Woodland
44.86 zł

Marine Biotechnology I

Yves Le Gal
1 281.76 zł