Tableau, Tableauresolution und Tableaugraphresolution / Libristo.pl
Tableau, Tableauresolution und Tableaugraphresolution

Kod: 15198387

Tableau, Tableauresolution und Tableaugraphresolution

Autor Wanlin Li

Die Klauselresolution ist derzeit das populärste Deduktionsverfahren. Ihre Anwendung ist jedoch auf die Klauselmenge eingeschränkt. Die vorliegende Arbeit stellt ein Verfahren vor, das mit Hilfe von Unifikation bzw. Resolution die ... więcej

195.67

Zwykle: 205.86 zł

Oszczędzasz 10.19 zł


Dodruk
Termin nieznany

Powiadomienie o dostępności

Dodaj do schowka

Zobacz książki o podobnej tematyce

Bon podarunkowy: Radość gwarantowana

Wzór bonu podarunkowegoDowiedz się więcej

Powiadomienie o dostępności

Powiadomienie o dostępności


Akceptacja - Zgłaszając nam chęć otrzymania powiadomienia, akceptujesz warunki Regulaminu

Będziemy sprawdzać dostępność książki za Ciebie

Wpisz swój adres e-mail, aby otrzymać od nas powiadomienie,
gdy książka będzie dostępna. Proste, prawda?

Więcej informacji o Tableau, Tableauresolution und Tableaugraphresolution

Za ten zakup dostaniesz 115 punkty

Opis

Die Klauselresolution ist derzeit das populärste Deduktionsverfahren. Ihre Anwendung ist jedoch auf die Klauselmenge eingeschränkt. Die vorliegende Arbeit stellt ein Verfahren vor, das mit Hilfe von Unifikation bzw. Resolution die gesamte Prädikatenlogik bearbeitet. Die in dieser Arbeit eingeführten Tableaus - Polybäume mit Literaleinfärbung - dienen zur strukturisierten Formeldarstellung. Daraus erhält man einen völlig neuen Kalkül, die Tableauresolution. Der Übergang von der Tableauresolution zur Tableaugraphresolution erfolgt wie von der Klauselresolution zur Klauselgraphresolution. Systematisch werden die Eigenschaften wie Korrektheit, Vollständigkeit und Konfluenz darüber ausgesprochen.

Szczegóły książki

Kategoria Książki po niemiecku Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik, EDV - Allgemeines

195.67


250 000
zadowolonych klientów

Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.


Paczkomat 12,99 ZŁ 31975 punktów

Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies


Konto: Logowanie
Wszystkie książki świata w jednym miejscu. I co więcej w super cenach.

Koszyk ( pusty )

Kup za 299 zł i
zyskaj darmową dostawę.

Twoja lokalizacja: