Aussagenlogik: Deduktion Und Algorithmen

Name: Aussagenlogik: Deduktion Und Algorithmen
Brand: Springer Fachmedien Wiesbaden
SKU: 9783519021339
Price: 62.59 EUR
Availability: InStock

Автор: Hans Kleine-Büning, Theodor Lettmann

Език:

Корици: С меки корици

Издател: Springer Fachmedien Wiesbaden

Наличност: Външен склад

Изпращаме след 5-8 дни

62.59 € 122.41 лв

Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasier...

Информация за книгата

Автор

Hans Kleine-Büning, Theodor Lettmann

Език

Немски език

Корици

Книга - С меки корици

Издадена

1994

страници

448

EAN

9783519021339

ISBN

3519021331

Enbook ID

06801868

Издател

Springer Fachmedien Wiesbaden

Теглоt

680

Размери

155 x 235 x 25

Пълно описание

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.

Може също да ви хареса

Black Witch

Freya Rall

22.11 € 43.24 лв

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Aussagenlogik: Deduktion Und Algorithmen

Информация за книгата

Пълно описание

Може също да ви хареса

Black Witch

Клиенти, които купиха тази книга, купиха също

Gospel According to Viva Las Vegas

Factibilidad de los cultivos ancestrales

A Teologia do Batismo no Espírito Santo

New Enemy

TOME II 1ERE PARTIE COLONIES FRANCAISES

Ainsi parlait Marcel Proust

Digital Protective Relays

Writers and Their Cats

Handbook of Discrete and Combinatorial Mathematics

Getting Started with OpenBTS

Groundwater and Ecosystems

Elsewhere at Home

Karma Hotel

How to Eliminate Fear of Global Economic Recession and Terrorism

Decentralized Human Resources Management and Capacity

Cinemagic

Speaking of Epidemics in Chinese Medicine

Social Capital and Sport Governance in Europe

500 Potato Recipes

Marine Biotechnology I