Unifikation

Unifikation

Eine Unifikation (Zusammenführung) ist

Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrerer mit demselben Wort bezeichneter Begriffe.

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • 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

  • Unifikation — Uni|fi|ka|ti|on 〈f. 20; veraltet〉 Vereinigung, Vereinheitlichung; Sy Unifizierung [→ unifizieren] * * * Uni|fi|ka|ti|on, die; , en (bes. Fachspr.): Unifizierung …   Universal-Lexikon

  • Unifikation — Det at unificere …   Danske encyklopædi

  • Unifikation — U|ni|fi|ka|ti|on 〈f.; Gen.: , Pl.: en〉 Vereinigung, Vereinheitlichung; Syn. Unifizierung [Etym.: <lat. unus »ein« + …fikation] …   Lexikalische Deutsches Wörterbuch

  • Unifikation — Uni|fi|ka|ti|on die; , en <zu ↑unifizieren u. ↑...ation>: 1. svw. ↑Unifizierung. 2. das Gleichmachen von zwei Fakten durch Ersetzen der Variablen durch Terme (EDV); vgl. ↑...ation/...ierung …   Das große Fremdwörterbuch

  • Unifikation — Uni|fi|ka|ti|on, die; , en; vgl. Unifizierung …   Die deutsche Rechtschreibung

  • 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

  • Attribut-Wert-Matrix — Eine Attribut Wert Matrix (AWM), auch Merkmal Wert Struktur, ist eine formale Struktur, die vor allem in der Linguistik, speziell im Bereich der Unifikationsgrammatiken und der Head driven Phrase Structure Grammar verwendet wird. Mit Attribut… …   Deutsch Wikipedia

  • Merkmalsstruktur — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… …   Deutsch Wikipedia

  • Merkmalstrukturen — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”