L'algorithmique est l’ensemble des règles et des techniques qui sont impliquées dans la définition et la conception d'algorithmes, c'est à dire de processus systématiques de résolution, par le calcul, ...

Dans de nombreux contextes (scientifique, légal, etc.) l'on désigne par langage formel un mode d'expression plus formalisé et plus précis (les deux n'allant pas nécessairement de pair) que le langage ...

Les notions en « tion » sont des noms communs qui s’écrivent avec un suffixe contenant la syllabe « tion » (tion, ation…). Nous proposons de nous centrer sur quatre de ces notions (la configuration, l ...