korrektheit

См. также в других словарях:

• Korrektheit — Korrektheit …   Deutsch Wörterbuch

• Korrektheit — Das mathematische Attribut Korrektheit (von korrekt = richtig) bezeichnet: in der mathematischen Logik eine Eigenschaft mancher formaler Systeme oder Kalküle, siehe Korrektheit (Logik). in der Softwaretechnik eine Eigenschaft eines… …   Deutsch Wikipedia

• Korrektheit — Kor|rẹkt|heit 〈f.; Gen.: ; Pl.: unz.〉 1. korrekte Beschaffenheit; die Korrektheit der Ausführungen war offensichtlich 2. korrektes Wesen, Verhalten …   Lexikalische Deutsches Wörterbuch

• Korrektheit — korektiškumas statusas T sritis Kūno kultūra ir sportas apibrėžtis Taktiškas, mandagus, pagarbus, padorus elgesys su žmonėmis. kilmė plg. korekcija atitikmenys: angl. correctness vok. Korrektheit, f rus. корректность …   Sporto terminų žodynas

• Korrektheit (Logik) — Korrektheit (englisch soundness) ist eine wichtige Eigenschaft formaler Systeme oder Kalküle und betrifft den Zusammenhang zwischen Syntax und Semantik, der umgangssprachlich lautet: Was ableitbar ist, ist auch semantisch richtig. In der… …   Deutsch Wikipedia

• Korrektheit (Informatik) — Unter Korrektheit versteht man in der Informatik die Eigenschaft eines Computerprogramms, einer Spezifikation zu genügen (siehe auch Verifikation). Spezialgebiete der Informatik, die sich mit dieser Eigenschaft befassen, sind die Formale Semantik …   Deutsch Wikipedia

• Korrektheit — Genauigkeit; Richtigkeit * * * Kor|rẹkt|heit 〈f. 20; unz.〉 1. korrekte Beschaffenheit 2. korrektes Wesen, Verhalten * * * Kor|rẹkt|heit, die; , en: a)↑ korrekte (a) Art; …   Universal-Lexikon

• Korrektheit — Kor|rekt|heit die; : 1. Richtigkeit; Ggs. ↑Inkorrektheit (1 a). 2. korrektes (b) Verhalten, Benehmen; Ggs. ↑Inkorrektheit (1 b) …   Das große Fremdwörterbuch

• Korrektheit — Kor|rẹkt|heit …   Die deutsche Rechtschreibung

• Politische Korrektheit — (häufig als Adjektiv politisch korrekt, engl.: Political Correctness [pəˈlɪtɪkəl kəˈrɛktnɪs] und politically correct, Abk. PC, P.C. und pc) ist ein aus dem englischsprachigen Raum stammendes, inzwischen aber allgemein verwendetes politisches… …   Deutsch Wikipedia

• Partielle Korrektheit — Unter Korrektheit versteht man in der Informatik die Eigenschaft eines Computerprogramms, einer Spezifikation zu genügen (siehe auch Verifikation). Spezialgebiete der Informatik, die sich mit dieser Eigenschaft befassen, sind die Formale Semantik …   Deutsch Wikipedia