Example image of eyePlorer eyePlorer-Ergebnisse für 'Prädikatenlogik': Logik Informatik Mathematik Philosophie Sprachwissenschaft Aussagenlogik Junktor Grammatik Quantor Identität (Logik) Charles Sanders Peirce Gottlob Frege Begriffslogik Syllogismus Begriff (Philosophie) Eigenschaft Relation Eigenname Sprachphilosophie Kennzeichnung Freie Variable und gebundene Variable Logische Äquivalenz Logik höherer Stufe Kalkül Entscheidbar Extensionalitätsprinzip Klassische Logik Prinzip der Zweiwertigkeit Modallogik Funktion (Mathematik) Diskursuniversum Wahrheitswert Konjunktion (Logik) Aristoteles Expertensystem Künstliche Intelligenz Prolog (Programmiersprache) Wissensrepräsentation Kalkül (Datenbank) SQL Algorithmus von Gilmore Allabschluss Bereinigte Normalform Deklarative Sprache Elementare Sprache Endlichkeitssatz Erfüllbarkeitsäquivalenz Frames (Wissensrepräsentation) Herbrand-Expansion Herbrand-Struktur
Disclaimer