Wissenschaftliche Literatur Prädikatenlogik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.

Jörn Mordau
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 angesehen. Das Besondere sind allerdings nicht die formalen Methoden an sich, sondern ihr spezieller Zuschnitt auf die Problemklasse ‘Betriebliche Informationssysteme‘ bzw. ‘Standardisierte Betriebliche…
dynamische Integritätsbedingungenformale MethodeInformatikInformationssystemePrädikatenlogikSpezifikation
Oscar Slotosch
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 Maschine verwendet werden kann. Die Sprachphilosophie sagt über die Bedeutung (Intension) der Analogie: Analogie bezeichnet die Übereinstimmung hinsichtlich gewisser Merkmale. Ausgehend von dieser Intension…
ÄhnlichkeitsfunktionAlgorithmenAnalogieautomatisches BeweisenBewertungsfunktionInformatikKlassifikationKonnektions-MethodePrädikatenlogikHäufige Schlagworte im Fachgebiet Informatik