| Information | |
|---|---|
| has gloss | (noun) conformity to fact or truth rightness, correctness |
| has gloss | eng: In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input-output behaviour of the algorithm (i.e., for each input it produces the correct output). See also program verification. |
| lexicalization | eng: correctness |
| lexicalization | eng: rightness |
| subclass of | (noun) an essential and distinguishing attribute of something or someone; "the quality of mercy is not strained"--Shakespeare quality |
| Meaning | |
|---|---|
| Czech | |
| lexicalization | ces: přesnost |
| German | |
| has gloss | deu: 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 und die Berechenbarkeitstheorie. |
| lexicalization | deu: Genauigkeit |
| lexicalization | deu: Korrektheit |
| lexicalization | deu: Richtigkeit |
| Esperanto | |
| lexicalization | epo: korekteco |
| lexicalization | epo: korekto |
| Finnish | |
| lexicalization | fin: korrektius |
| French | |
| lexicalization | fra: exactitude |
| lexicalization | fra: justesse |
| Western Frisian | |
| lexicalization | fry: krektens |
| Croatian | |
| lexicalization | hrv: korektnost |
| lexicalization | hrv: točnost |
| Japanese | |
| has gloss | jpn: 計算機科学における正当性（Correctness）とは、アルゴリズムがその仕様記述に照らして正しいことを意味する。「機能的」正当性とは、アルゴリズムの入出力動作に関する正当性である（すなわち、各入力に対して正しく出力を生成すること）。形式的検証を参照されたい。 |
| lexicalization | jpn: 正当性 |
| Korean | |
| Show unreliable ▼ | |
| lexicalization | kor: 단정 |
| lexicalization | kor: 정확함 |
| Dutch | |
| Show unreliable ▼ | |
| lexicalization | nld: correctheid |
| Polish | |
| lexicalization | pol: słuszność |
| Show unreliable ▼ | |
| lexicalization | pol: poprawność |
| Portuguese | |
| lexicalization | por: corretude |
| Show unreliable ▼ | |
| lexicalization | por: correcção |
| Russian | |
| lexicalization | rus: корректность |
| Slovak | |
| lexicalization | slk: presnosť |
| Show unreliable ▼ | |
| lexicalization | slk: korektnosť |
| lexicalization | slk: bezúhonnosť |
| Castilian | |
| has gloss | spa: En teoría de la computación, la corrección de un algoritmo, también llamada correctitud (como adaptación de la palabra inglesa correctnes), corresponde a una propiedad que distingue a un algoritmo de un procedimiento efectivo. |
| lexicalization | spa: Correctitud |
| Swedish | |
| lexicalization | swe: korrekthet |
| Turkish | |
| lexicalization | tur: doðruluk |
| lexicalization | tur: uygunluk |
| lexicalization | tur: dürüstlük |
| Ukrainian | |
| lexicalization | ukr: коректність |
| Links | |
|---|---|
| opposite | (noun) the quality of not conforming to fact or truth incorrectness, wrongness |
| Show unreliable ▼ | |
| similar | e/Correctness |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint