Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Échangeur de chaleurUn échangeur de chaleur est un dispositif permettant de transférer de l'énergie thermique d'un fluide vers un autre sans les mélanger. Le flux thermique y traverse la surface d'échange qui sépare les fluides. L'intérêt du dispositif réside dans la séparation des deux circuits et dans l'absence d'autres échanges que la chaleur, qui maintient les caractéristiques physico-chimiques (pression, concentration en éléments chimiques...) de chaque fluide inchangées hormis leur température ou leur état.
Enthalpie de fusionL'enthalpie de fusion (symbole : ) est l'énergie absorbée sous forme de chaleur par un corps lorsqu'il passe de l'état solide à l'état liquide à température et pression constantes. Au point de fusion d'un corps pur, elle est plus communément appelée chaleur latente de fusion car c'est sous forme de chaleur que cette énergie est absorbée et cette absorption se fait sans élévation de la température. Elle sert en quelque sorte à désorganiser les liaisons intermoléculaires qui maintiennent les molécules ensemble et non à « chauffer » au sens commun du terme.
Gazvignette|Sphère de stockage de gaz naturel. vignette|Conduite de gaz de ville en polyéthylène. vignette|Panneau indiquant une conduite de gaz enterrée en France. vignette|Les gaz de combat ont été produits et utilisés de manière industrielle lors de la Première Guerre mondiale. Un gaz est un ensemble d'atomes ou de molécules très faiblement liés et quasi indépendants. Dans l’état gazeux, la matière n'a pas de forme propre ni de volume propre : un gaz tend à occuper tout le volume disponible.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Gaz idéal et gaz parfaitLes termes « gaz idéal » et « gaz parfait » sont généralement considérés comme synonymes (un gaz obéissant à la loi des gaz parfaits), de même que ideal gas et perfect gas en anglais à cette différence près que le terme le plus courant est « gaz parfait » en français mais ideal gas en anglais. Dans la littérature scientifique les termes « gaz idéal » (en français) et perfect gas (en anglais) prennent parfois un sens plus restrictif, celui d'un gaz parfait possédant la propriété supplémentaire que sa capacité thermique ne dépend pas de la température.
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.
Théorie cinétique des gazLa théorie cinétique des gaz a pour objet d'expliquer le comportement macroscopique d'un gaz à partir des caractéristiques des mouvements des particules qui le composent. Elle permet notamment de donner une interprétation microscopique aux notions de : température : c'est une mesure de l'agitation des particules, plus précisément de leur énergie cinétique ; pression : la pression exercée par un gaz sur une paroi résulte des chocs des particules sur cette dernière. Elle est liée à leur quantité de mouvement.
Variable d'étatEn thermodynamique, des variables d'état sont des paramètres qui caractérisent l'état d'équilibre d'un système, tels que le volume, la température, la pression et la quantité de matière. Ces caractérisations sont elles-mêmes des fonctions d'état du système. Une variable d'état n'a de sens que pour un système à l'équilibre thermodynamique. Une variable d'état est toujours une grandeur physique scalaire. Il s'agit soit d'une grandeur extensive, définie sur l'ensemble du système considéré, soit d'une grandeur intensive, qui doit alors prendre la même valeur en tout point du système.
Relation humainevignette|Relation humaine. Une relation humaine implique au moins deux êtres humains et est souvent décrite via des aspects différents, si l'on s'intéresse à la nature de la relation ou si l'on s'intéresse aux personnes en relation. Plusieurs disciplines universitaires travaillent à l'analyser. Certaines étudient régulièrement les questions que pose la société contemporaine : la psychologie, les sciences de la communication, la sociologie ; d'autres se placent dans la perspective de l'anthropologie, de la sémiotique ou allient les deux comme l'anthroposémiotique.
