Problème du voyageur de commercevignette|Le problème de voyageur de commerce : calculer un plus court circuit qui passe une et une seule fois par toutes les villes (ici 15 villes). En informatique, le problème du voyageur de commerce, ou problème du commis voyageur, est un problème d'optimisation qui consiste à déterminer, étant donné un ensemble de villes, le plus court circuit passant par chaque ville une seule fois. C'est un problème algorithmique célèbre, qui a donné lieu à de nombreuses recherches et qui est souvent utilisé comme introduction à l'algorithmique ou à la théorie de la complexité.
Bounded quantifierIn the study of formal theories in mathematical logic, bounded quantifiers (a.k.a. restricted quantifiers) are often included in a formal language in addition to the standard quantifiers "∀" and "∃". Bounded quantifiers differ from "∀" and "∃" in that bounded quantifiers restrict the range of the quantified variable. The study of bounded quantifiers is motivated by the fact that determining whether a sentence with only bounded quantifiers is true is often not as difficult as determining whether an arbitrary sentence is true.
Causalité (physique)En physique, le principe de causalité affirme que si un phénomène (nommé cause) produit un autre phénomène (nommé effet), alors la cause précède l'effet (ordre temporel). Le principe de causalité est une des contraintes réalistes imposées à toute théorie mathématiquement cohérente afin qu'elle soit physiquement admissible. D'après Gilles Cohen-Tannoudji, . À ce jour, il n'a pas été mis en défaut par l’expérience, mais certaines théories envisagent une causalité inversée.
Axiomes de Peanovignette|Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique.
Formule (automobile)Les Formules indiquent en sport automobile les catégories de monoplaces. L'origine du terme réside dans la nomenclature adoptée par la Fédération internationale de l'automobile (FIA) après la Seconde Guerre mondiale. Histoire de la Formule 1 Dans le processus de reprise des Grands Prix après la fin de la Seconde Guerre mondiale, la Commission sportive internationale est chargée par la FIA de définir et de standardiser les réglementations dans la catégorie unique : la « Formule de Course Internationale », qui devient rapidement la Formule 1 (F1).
