About: dbpedia-fr:Terminaison_d'un

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

About: dbpedia-fr:Terminaison_d'un_algorithme Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:comment	La terminaison est une propriété fondamentale des algorithmes. Elle stipule que les calculs décrits par l'algorithme s'arrêteront. En général cet arrêt doit avoir lieu quelles que soient les données initiales que l'on fournit à l'algorithme. Si l'on veut insister sur ce point on parle alors souvent de terminaison uniforme, mais le plus généralement « terminaison » couvre aussi bien l'arrêt sur une donnée que l'arrêt sur toutes les données et c'est le contexte qui décide. La terminaison forme avec la correction partielle un des aspects de la correction des algorithmes, la correction partielle et la terminaison forment ce que l'on appelle la correction totale. (fr)
dbo:wikiPageWikiLink	Alan Turing Algorithm category-fr:Algorithmique category-fr:Informatique_théorique Time complexity Correctness (computer science) dbpedia-fr:Décidabilité Natural number Function (mathematics) Turing machine Multiset dbpedia-fr:Problème_de_l'arrêt Pseudocode Well-founded relation dbpedia-fr:Sémantique_axiomatique Safety property dbpedia-fr:Terminaison_d'un_système_de_réécriture Variable (computer science) Variable (mathematics) Liveness
is dbo:wikiPageWikiLink of	2-opt Extended Euclidean algorithm Davis–Putnam algorithm Karger's algorithm Sorting algorithm Recursion (computer science) Algorithmics Worst-case complexity Knuth–Bendix completion algorithm Correctness (computer science) dbpedia-fr:Forme_quadratique_binaire Egyptian fraction dbpedia-fr:Invariant_de_boucle dbpedia-fr:Lemme_de_König dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Recherche_des_deux_points_les_plus_rapprochés Well-founded relation dbpedia-fr:Récursivement_énumérable dbpedia-fr:Récursivité dbpedia-fr:Terminaison Liveness dbpedia-fr:Terminaison_d'un_programme

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, 10 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software