- Unifikator
- Uni|fi|ka|torder; -s, -en<zu ↑...or>Ergebnis einer Unifikation (2) (EDV).
Das große Fremdwörterbuch. 2013.
Unifikator
Schlagen Sie auch in anderen Wörterbüchern nach:
Unifikator — Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Diese hat insbesondere in der Computerlogik und Computerlinguistik eine größere Bedeutung erlangt. So nutzt etwa die Inferenzmaschine des PROLOG Interpreters… … Deutsch Wikipedia
unifikator — m IV, D. a, Ms. unifikatororze; lm M. y rzad. «czynnik unifikujący, zespalający coś» ‹śrdwłc.› … Słownik języka polskiego
Unifikation (Logik) — Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Zwei Ausdrücke werden unifiziert, indem ihre Variablen so durch geeignete Terme ersetzt werden, dass die resultierenden Ausdrücke gleich sind. Die Unifikation hat… … Deutsch Wikipedia
Klauselresolution — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… … Deutsch Wikipedia
MGU — steht als Abkürzung für: die Moskowski Gossudarstwenny Uniwersitet, die Moskauer Lomonossow Universität Mindestgesprächsumsatz, siehe Mindestumsatz. most general unifier (kleinster gemeinsamer Unifikator), siehe Unifikation (Logik) MG U steht für … Deutsch Wikipedia
Prolog (Programmiersprache) — Prolog Paradigmen: logisch, deklarativ, oft auch constraintbasiert Erscheinungsjahr: 1972 Designer: Alain Colmerauer Entwickler: Philippe Roussell … Deutsch Wikipedia
Resolution (Logik) — Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein Widerlegungsverfahren: Statt direkt die Allgemeingültigkeit einer Formel zu… … Deutsch Wikipedia
Resolutionskalkül — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… … Deutsch Wikipedia
Resolutionsprinzip — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… … Deutsch Wikipedia
Resolutionsverfahren — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… … Deutsch Wikipedia
