ThermodynamiqueLa thermodynamique est la branche de la physique qui traite de la dépendance des propriétés physiques des corps à la température, des phénomènes où interviennent des échanges thermiques, et des transformations de l'énergie entre différentes formes. La thermodynamique peut être abordée selon deux approches différentes et complémentaires : phénoménologique et statistique. La thermodynamique phénoménologique ou classique a été l'objet de nombreuses avancées dès le .
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
ThalidomideLe thalidomide est un médicament utilisé durant les années 1950 et 1960 comme sédatif et anti-nauséeux, notamment chez les femmes enceintes. Il a été découvert qu'il est à l'origine de graves malformations congénitales. Ces effets tératogènes sont dans un premier temps occultés ou niés, notamment par le fabricant . Dans un deuxième temps, ils font l'objet d'un scandale sanitaire qui aboutit au retrait du médicament du marché mondial à partir de 1961.
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 « ∃! ».
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.
Force de van der Waalsvignette|Tête et pattes avant d'un Gecko (espèce non précisée, queue en forme de feuille) En physique et en chimie, une force de van der Waals, interaction de van der Waals ou liaison de van der Waals est un potentiel interatomique dû à une interaction électrique de faible intensité entre deux atomes ou molécules, ou entre une molécule et un cristal. Elle représente la moyenne statistique de toutes les configurations possibles pour l'interaction, pondérées par leur probabilité à l'équilibre thermodynamique.
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).
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.
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.
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.
