Kód: 15198387
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 ... celý popis
Zadajte do formulára e-mailovú adresu a akonáhle knihu naskladníme, zašleme vám o tom správu. Postrážime všetko za vás.
Nákupom získate 105 bodov
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.
Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik, EDV - Allgemeines
42.34 €
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
Nákupný košík ( prázdny )