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é.
Formule (mathématiques)En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. Étant donné un ensemble E et une fonction de poids p: E →N, une formule est un mot extrait de E obtenu par les deux règles de construction suivantes : un seul élément de E de poids 0 est une formule ; si t est un élément de poids n, pour toute suite de n formules F1, F2, ...., Fn, le mot concaténé tF1F2....Fn est une formule.
Formule 3thumb|Dallara F3 2019 de Jüri Vips. La Formule 3 FIA, également connue sous l'abréviation F3, est une catégorie de compétition automobile de type monoplace. Réglementée par la Fédération internationale de l'automobile, la catégorie Formule 3 sert d'étape de sélection parmi les jeunes pilotes de course souhaitant devenir professionnel et/ou accéder à la Formule 1. Auparavant étendue sur tous les continents sous forme de divers championnats régionaux et internationaux, la F3 moderne est, depuis 2019, disputée sous la forme d'un seul championnat international en ouverture de la Formule 1, le championnat de Formule 3 FIA, et d'une Coupe du monde.
Énergie interneL’énergie interne d’un système thermodynamique est l'énergie qu'il renferme. C'est une fonction d'état extensive, associée à ce système. Elle est égale à la somme de l’énergie cinétique de chaque entité élémentaire de masse non nulle et de toutes les énergies potentielles d’interaction des entités élémentaires de ce système. En fait, elle correspond à l'énergie intrinsèque du système, définie à l'échelle microscopique, à l'exclusion de l'énergie cinétique ou potentielle d'interaction du système avec son environnement, à l'échelle macroscopique.
Poutre (construction)right|thumb|Poutres et solives dans une maison polonaise Une poutre est à l'origine un bois de brin, de manière préférentielle du chêne, équarri à la scie de long ou à la hache (cognée, herminette et doloire de charpentier), et qui était donc de toute la grosseur des arbres; c'est-à-dire qu'on n'avait enlevé du tronc que les dosses, laissant le duramen quasi intact. Elle peut servir à faire des clôtures. Le côté d’une poutre est selon NF B50-002 supérieur à 120 millimètres.
ThéorèmeEn mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
Problème du sac à dosEn algorithmique, le problème du sac à dos, parfois noté (KP) (de l'anglais Knapsack Problem) est un problème d'optimisation combinatoire. Ce problème classique en informatique et en mathématiques modélise une situation analogue au remplissage d'un sac à dos. Il consiste à trouver la combinaison d'éléments la plus précieuse à inclure dans un sac à dos, étant donné un ensemble d'éléments décrits par leurs poids et valeurs.
Formule chimiquethumb|Formule développée plane de l'isobutane. La formule chimique d'un composé chimique, d'une espèce chimique ou d'un minéral est une expression indiquant quels éléments, et dans quelles proportions, constituent ce composé, cette entité ou ce minéral (par exemple la formule brute de l'eau est ). Les formules chimiques obéissent à une certaine standardisation, afin de faciliter leur et d'éviter les ambiguïtés.
