Literatur im Fachgebiet Informatik Prädikatenlogik

Eine schlagwort­basierte Auswahl unserer Fachbücher

Die Integration formaler Methoden zur Spezifikation von Informationssystemen (Forschungsarbeit)

Die Integration formaler Methoden zur Spezifikation von Informationssystemen

Studien zur Datenbankforschung

Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster Stufe basieren, werden hier als ein hilfreiches Mittel…

Informatik Informationssysteme Prädikatenlogik
Analogieschlüsse beim automatischen Beweisen (Forschungsarbeit)

Analogieschlüsse beim automatischen Beweisen

Forschungsergebnisse zur Informatik

Was macht den Menschen intelligenter als die Maschine?

Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. Hauptziel ist es, den sprachlichen Analogiebegriff so zu konkretisieren, daß er von der…

Algorithmen Analogie Informatik Klassifikation Prädikatenlogik
 

Literatur: Prädikatenlogik / Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač