Principes de la thermodynamiquevignette|Entropie d'un corps à 0 K (à gauche) Corps avec une température supérieur à 0 K (à droite) Les principes de la thermodynamique sont les principales lois (principes en fait, car non démontrés) qui régissent la thermodynamique : premier principe de la thermodynamique : principe de conservation de l'énergie ; introduction de la fonction énergie interne, U ; deuxième principe de la thermodynamique : principe d'évolution ; création d'entropie, S ; troisième principe de la thermodynamique ou principe de N
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Chemical thermodynamicsChemical thermodynamics is the study of the interrelation of heat and work with chemical reactions or with physical changes of state within the confines of the laws of thermodynamics. Chemical thermodynamics involves not only laboratory measurements of various thermodynamic properties, but also the application of mathematical methods to the study of chemical questions and the spontaneity of processes. The structure of chemical thermodynamics is based on the first two laws of thermodynamics.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Thermodynamique hors équilibreLa thermodynamique hors équilibre est le domaine de recherche étudiant les phénomènes de relaxation et de transport au voisinage de l'équilibre thermodynamique. Il s'agit là de phénomènes dissipatifs donc irréversibles, liés à une augmentation de l'entropie. Les méthodes présentées ici relèvent de la thermodynamique proprement dite, qui permet de donner les lois caractérisant un phénomène.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Deuxième principe de la thermodynamiqueLe deuxième principe de la thermodynamique (également connu sous le nom de deuxième loi de la thermodynamique ou principe de Carnot) établit l'irréversibilité des phénomènes physiques, en particulier lors des échanges thermiques. C'est un principe d'évolution qui fut énoncé pour la première fois par Sadi Carnot en 1824. Il a depuis fait l'objet de nombreuses généralisations et formulations successives par Clapeyron (1834), Clausius (1850), Lord Kelvin, Ludwig Boltzmann en 1873 et Max Planck (voir Histoire de la thermodynamique et de la mécanique statistique), tout au long du et au-delà jusqu'à nos jours.
Premier principe de la thermodynamiqueSelon le premier principe de la thermodynamique, lors de toute transformation, il y a conservation de l'énergie. Dans le cas des systèmes thermodynamiques fermés, il s'énonce de la manière suivante : Au cours d'une transformation quelconque d'un système fermé, la variation de son énergie est égale à la quantité d'énergie échangée avec le milieu extérieur, par transfert thermique (chaleur) et transfert mécanique (travail).
Liaison hydrogènevignette|Liaison hydrogène entre des molécules d'eau. La liaison hydrogène ou pont hydrogène est une force intermoléculaire ou intramoléculaire impliquant un atome d'hydrogène et un atome électronégatif comme l'oxygène, l'azote et le fluor. L'intensité d'une liaison hydrogène est intermédiaire entre celle d'une liaison covalente et celle des forces de van der Waals (en général les liaisons hydrogène sont plus fortes que les interactions de van der Waals).
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
HydrogénationL'hydrogénation est une réaction chimique qui consiste en l'addition d'une molécule de dihydrogène (H2) à un autre composé. Cette réaction est habituellement employée pour réduire ou saturer des composés organiques. Elle nécessite en général une catalyse, les réactions sans catalyse nécessitant de très hautes températures. On appelle la réaction inverse de l'hydrogénation la déshydrogénation. Les réactions où des liaisons sont brisées tandis que de l'hydrogène est additionné sont appelées hydrogénolyses (cette réaction pouvait s'appliquer aux liaisons carbone-carbone comme aux liaisons carbone-hétéroatome — O, N, X).
HydrogèneLhydrogène est l'élément chimique de numéro atomique 1, de symbole H. L'hydrogène présent sur Terre est presque entièrement constitué de l'isotope H (ou protium, comportant un proton et zéro neutron) et d'environ 0,01 % de deutérium H (un proton, un neutron). Ces deux isotopes de l'hydrogène sont stables. Un troisième isotope, le tritium H (un proton, deux neutrons), instable, est produit dans les réactions de fission nucléaire (réacteurs nucléaires ou bombes).
Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
LénalidomideLe lénalidomide (commercialisé sous le nom de Revlimid) est une molécule utilisée comme médicament, dérivée du thalidomide et apparue en 2004. Le lénalidomide est un médicament capable de modifier ou de réguler le fonctionnement du système immunitaire. il détruit directement certains types de cellules tumorales ou les empêche de proliférer. Il peut également perturber le développement de minuscules vaisseaux sanguins qui contribuent à la croissance tumorale.
Drug developmentDrug development is the process of bringing a new pharmaceutical drug to the market once a lead compound has been identified through the process of drug discovery. It includes preclinical research on microorganisms and animals, filing for regulatory status, such as via the United States Food and Drug Administration for an investigational new drug to initiate clinical trials on humans, and may include the step of obtaining regulatory approval with a new drug application to market the drug.
Force intermoléculaireLes forces intermoléculaires sont des forces de nature essentiellement électrostatique induisant une attraction ou une répulsion entre des particules chimiques (atomes, molécules ou ions). Ces forces sont en général bien plus faibles que les forces intramoléculaires qui assurent l'association des atomes dans les molécules.
Interaction non covalenteUne interaction non covalente diffère d'une liaison covalente en ce qu'elle n'implique pas le partage d'électrons, mais implique plutôt des variations plus dispersées des interactions électromagnétiques entre molécules ou au sein d'une molécule. L' énergie chimique libérée lors de la formation d'interactions non covalentes est généralement de l'ordre de 1 à 5 kcal / mol ( à pour 6,02 × 1023 molécules). Les interactions non covalentes peuvent être classées en différentes catégories, telles que les effets électrostatiques, les effets π, les forces de van der Waals et les effets hydrophobes.
Agrégation des protéinesL'agrégation des protéines (ou agrégation/agglomération protéique) est un phénomène biologique dans lequel les protéines mal repliées s'agrègent (c'est-à-dire qu'elles s'accumulent et se groupent entre elles), de façon intra- comme extra-cellulaire. Ces agrégats de protéines sont souvent corrélés avec des maladies. De fait, les agrégats de protéines ont été impliqués dans une grande variété de maladies qu'on a appelées amyloïdoses, parmi lesquelles on retrouve la SLA, les maladies d'Alzheimer et de Parkinson, ou encore les maladies à prions.
Hydrogène liquideL'hydrogène liquide est le dihydrogène refroidi en dessous de son point de condensation, soit () à pression atmosphérique (). Il a alors une masse volumique de . Il est généralement désigné par l'acronyme LH2 pour les applications astronautiques. C'est en effet l'un des combustibles liquides les plus utilisés au décollage, par exemple par la navette spatiale américaine, le lanceur Delta ou le lanceur Ariane 5. Le chimiste et physicien écossais James Dewar fut le premier à parvenir, en 1899, à liquéfier l'hydrogène, en combinant le refroidissement mécanique du gaz avec une détente adiabatique.
