Problème de l'isomorphisme de graphesvignette|Le problème est de savoir si deux graphes sont les mêmes. En informatique théorique, le problème de l'isomorphisme de graphes est le problème de décision qui consiste, étant donné deux graphes non orientés, à décider s'ils sont isomorphes ou pas, c'est-à-dire s'ils sont les mêmes, quitte à renommer les sommets. Ce problème est particulièrement important en théorie de la complexité, plus particulièrement pour le problème P=NP.
Portance (aérodynamique)La portance aérodynamique est la composante de la force subie par un corps en mouvement dans un fluide qui s'exerce perpendiculairement à la direction du mouvement (au vent relatif). Cela concerne les aérodynes (engins plus denses que l'air). lang=fr |vignette |304x171px Un corps placé dans un écoulement d'air (ou d'eau) subit une force aérodynamique (ou hydrodynamique). Pour l'analyse, on décompose cette force en une composante parallèle au vent relatif : la traînée (voir aussi Aérodynamique), et une composante perpendiculaire au vent relatif : la portance.
Admissible ruleIn logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the existing rules of the system. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955). Admissibility has been systematically studied only in the case of structural (i.e.
Born ruleThe Born rule (also called Born's rule) is a postulate of quantum mechanics which gives the probability that a measurement of a quantum system will yield a given result. In its simplest form, it states that the probability density of finding a system in a given state, when measured, is proportional to the square of the amplitude of the system's wavefunction at that state. It was formulated by German physicist Max Born in 1926.
