- unifikator
- m IV, D. -a, Ms. \unifikatororze; lm M. -yrzad. «czynnik unifikujący, zespalający coś»‹śrdwłc.›
Słownik języka polskiego . 2013.
unifikator
Look at other dictionaries:
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 — Uni|fi|ka|tor der; s, en <zu ↑...or> Ergebnis einer Unifikation (2) (EDV) … Das große Fremdwörterbuch
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
