Vereinheitlichung
11Harmonisierung — Vereinheitlichung; Normalisierung * * * Har|mo|ni|sie|rung 〈f. 20〉 das Harmonisieren, das Harmonisiertwerden * * * Har|mo|ni|sie|rung, die; , en: 1. das ↑ Harmonisieren (1, 2). 2. (Wirtsch.) wirtschaftspolitische Abstimmung einzelner Maßnahmen… …
12Normalisierung — Vereinheitlichung; Harmonisierung * * * Nor|ma|li|sie|rung 〈f. 20〉 das Normalisieren, das Normalwerden (1) * * * Nor|ma|li|sie|rung, die; , en: das [Sich]normalisieren. * * * I Normalisierung, Informati …
13Standardisierung — Vereinheitlichung nach bestimmten Mustern. I. Management: St. dient der Reduktion der intra und interbetrieblichen ⇡ Prozesskosten. Intrabetrieblich sind das v.a. Wechselkosten und Lernkosten, extrabetrieblich Transaktionskosten.… …
14Klauselresolution — 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… …
15Resolution (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… …
16Resolutionskalkü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… …
17Resolutionsprinzip — 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… …
18Resolutionsverfahren — 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… …
19Resolvent — 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… …
20Han Unification — Beispiel für Han Vereinheitlichung: das Ideogramm 次 in Kurzzeichen, Langzeichen, Kanji und Hanja (von links nach rechts) Mit dem Begriff Han Vereinheitlichung (engl. Han unification) wird in der Informatik die Vereinheitlichung der chinesischen… …