Korrektheit


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 Computerprogramms (oder eines Algorithmus'), siehe Korrektheit (Informatik).
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:

  • Korrektheit — Korrektheit …   Deutsch Wörterbuch

  • 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 — 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

  • 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

  • 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