poprawność algorytmu
Sign in to saveAlso known as correctness (computer science)
quality of an algorithm being correct with respect to a specification
In the Vinony graph
Within Vinony's link graph, poprawność algorytmu is referenced by 126 other articles, and connects out to C, algorithm and integer.
Vinony files it under Formal methods terminology, Software quality and Theoretical computer science.
Its subject is documented across 13 Wikipedia language editions.
Wikidata facts
- Subclass of
- quality
Show 1 more fact
- facet of
- computer science
Sources (2)
via Wikidata · CC0
Article · Polski
Poprawność całkowita i częściowa algorytmu. * WP – warunek początkowy – formuła logiczna definiująca dane wejściowe algorytmu. * WK – warunek końcowy – formuła logiczna definiująca dane wyjściowe algorytmu uzyskane dla danych wejściowych spełniających WP.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
C
Entity
algorithm
Entity
integer
Entity
number theory
Entity
computer programming
Entity
mathematical proof
Entity
digital object identifier
Entity
computer security
Entity
perfect number
Entity
understanding
Entity
computer memory
Entity
software testing
Entity
lambda calculus
Entity
Tony Hoare
Entity
accuracy and precision
Entity
theoretical computer science
Entity
usability
Entity
Semantic Scholar
Entity
formal system
Entity
halting problem
Entity