About: Correctness (computer science)

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Correctness (computer science) Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Correction d'un algorithme (fr) Correctness (computer science) (en) Korrektheit (Informatik) (de) Poprawność całkowita (pl) 正当性 (計算機科学) (ja) 正确性 (计算机科学) (zh)
rdfs:comment	Un algorithme est correct s'il fait ce qu'on attend de lui. Plus précisément, rappelons qu'un algorithme est décrit par une spécification des données sur lesquelles l'algorithme va démarrer son calcul et une spécification du résultat produit par l'algorithme. Démontrer la correction de l'algorithme consiste à démontrer que l'algorithme retourne, quand il calcule en partant des données, un objet qui est un des résultats escomptés et qui satisfait la spécification du résultat comme énoncé dans la description de l'algorithme. (fr)
sameAs	Correctness (computer science) Correctness (computer science) Correctness (computer science) Correctness (computer science) Correctness (computer science) Correctness (computer science) Correctness (computer science) Correctness (computer science) Correctness (computer science) Correctness (computer science) Correctness (computer science) Correctness (computer science)
Wikipage page ID	9134848 (xsd:integer)
Wikipage revision ID	162129285 (xsd:integer)
dbo:wikiPageWikiLink	Algorithm Recursion (computer science) category-fr:Algorithmique category-fr:Informatique_théorique dbpedia-fr:Démonstration_(logique_et_mathématique) dbpedia-fr:Invariant_de_boucle dbpedia-fr:Méthode_itérative Precondition Predicate (mathematical logic) dbpedia-fr:Terminaison_d'un_algorithme
page length (characters) of wiki page	3003 (xsd:nonNegativeInteger)
dct:subject	category-fr:Algorithmique category-fr:Informatique_théorique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Ébauche
prov:wasDerivedFrom	wikipedia-fr:Correction_d'un_algorithme?oldid=162129285&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Correction_d'un_algorithme
has abstract	Un algorithme est correct s'il fait ce qu'on attend de lui. Plus précisément, rappelons qu'un algorithme est décrit par une spécification des données sur lesquelles l'algorithme va démarrer son calcul et une spécification du résultat produit par l'algorithme. Démontrer la correction de l'algorithme consiste à démontrer que l'algorithme retourne, quand il calcule en partant des données, un objet qui est un des résultats escomptés et qui satisfait la spécification du résultat comme énoncé dans la description de l'algorithme. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:AlgorithmWatch Algorithm Bentley–Ottmann algorithm Algorithmics dbpedia-fr:Biais_algorithmique Const (computer programming) Constant (computer programming) Egyptian fraction dbpedia-fr:Langage_de_spécification Distributed constraint optimization dbpedia-fr:Problème_du_mot_pour_les_groupes Group signature dbpedia-fr:Terminaison_d'un_algorithme
is oa:hasTarget of	De labels Ja labels En labels Zh labels Pl labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Correction_d'un_algorithme

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software