Loi des gaz parfaitsvignette|Isothermes d'un gaz parfait (diagramme (P,V,T)). La relation entre la pression P et le volume V est hyperbolique . En physique, et plus particulièrement en thermodynamique, la loi des gaz parfaits, ou équation des gaz parfaits, est l'équation d'état applicable aux gaz parfaits. Elle a été établie en 1834 par Émile Clapeyron par combinaison de plusieurs lois des gaz établies antérieurement. Cette équation s'écrit : avec : la pression (Pa) ; le volume du gaz (m3) ; la quantité de matière (mol) ; la constante universelle des gaz parfaits (≈ ) ; la température absolue (K).
Gaz parfaitLe gaz parfait est un modèle thermodynamique décrivant le comportement des gaz réels à basse pression. Ce modèle a été développé du milieu du au milieu du et formalisé au . Il est fondé sur l'observation expérimentale selon laquelle tous les gaz tendent vers ce comportement à pression suffisamment basse, quelle que soit la nature chimique du gaz, ce qu'exprime la loi d'Avogadro, énoncée en 1811 : la relation entre la pression, le volume et la température est, dans ces conditions, indépendante de la nature du gaz.
Problème 2-SATEn informatique théorique, le problème 2-SAT est un problème de décision. C'est une restriction du problème SAT qui peut être résolu en temps polynomial, alors que le problème général est NP complet. Le problème 2-SAT consiste à décider si une formule booléenne en forme normale conjonctive, dont toutes les clauses sont de taille 2, est satisfaisable. De telles formules sont appelées 2-CNF ou formules de Krom. On considère des formules en forme normale conjonctive, c'est-à-dire que ce sont des ET de OU de littéraux (un littéral est une variable ou la négation d'une variable).
Problème SATvignette|Une instance du Sudoku peut être transformée en une formule de logique propositionnelle à satisfaire. Une assignation des variables propositionnelles donne une grille complétée. En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. Ce problème est important en théorie de la complexité.
Multiplicationthumb|La multiplication de 4 par 3 donne le même résultat que la multiplication de 3 par 4. La multiplication est l'une des quatre opérations de l'arithmétique élémentaire avec l'addition, la soustraction et la division. Cette opération est souvent notée avec la croix de multiplication « × », mais peut aussi être notée par d'autres symboles (par exemple le point médian « · ») ou par l'absence de symbole. Son résultat s'appelle le produit, les nombres que l'on multiplie sont les facteurs.
