algorithme rigoureux
1Variable régionalisée — La VR comme phénomène physique : topographie de la ville de Binche …
2mathématique — [ matematik ] adj. et n. f. • 1265; lat. mathematicus, gr. mathêmatikos « scientifique », de mathêma « science » I ♦ Adj. 1 ♦ Relatif aux mathématiques, à la mathématique (cf. ci dessous, II); qui utilise les mathématiques, s exprime par elles.… …
3Algèbre géométrique — Pour les articles homonymes, voir Algèbre (homonymie) et notamment la structure mathématique d algèbre géométrique. Paul Tannery popularise l expression algèbre géométrique. En mathématiques, l’algèbre géométrique regroupe …
4Conjecture de Syracuse — En mathématiques, on appelle suite de Syracuse une suite d entiers naturels définie de la manière suivante : On part d un nombre entier plus grand que zéro ; s’il est pair, on le divise par 2 ; s’il est impair, on le multiplie par… …
5Graphe (mathématiques) — Théorie des graphes  Pour la notion mathématique utilisée en Théorie des ensembles, voir Graphe d une fonction. La théorie des graphes est une branche commune à l informatique et aux mathématiques étudiant les graphes et les objets qui lui… …
6Graphe (théorie des graphes) — Théorie des graphes  Pour la notion mathématique utilisée en Théorie des ensembles, voir Graphe d une fonction. La théorie des graphes est une branche commune à l informatique et aux mathématiques étudiant les graphes et les objets qui lui… …
7Langage rationnel — Les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes: ce sont les langages décrits par les expressions régulières ou rationnelles,d où le nom de langages réguliers; …
8Theorie des graphes — Théorie des graphes  Pour la notion mathématique utilisée en Théorie des ensembles, voir Graphe d une fonction. La théorie des graphes est une branche commune à l informatique et aux mathématiques étudiant les graphes et les objets qui lui… …
9RÉCURSIVITÉ — Les (semi ) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi ) fonction effectivement ou mécaniquement calculable (cf. LOGIQUE MATHÉMATIQUE, chap. 4). Par souci de… …
10Théorème de Robertson-Seymour — En mathématiques, et plus précisément en théorie des graphes, le théorème de Robertson–Seymour (parfois également appelé le théorème des mineurs, et connu, avant qu il soit démontré, sous le nom de conjecture de Wagner), est un théorème démontré… …
