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 (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

Share the article and excerpts

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