Longueur de liaisonEn géométrie moléculaire, la longueur de liaison est la distance moyenne entre les noyaux de deux atomes liés par une liaison chimique. Cette longueur est directement liée à l'ordre de liaison : toutes choses égales par ailleurs, plus le nombre d'électrons participant à la formation d'une liaison est grand, plus celle-ci sera courte. Ainsi, la liaison C=O des cétones est-elle plus courte que la liaison C-O des alcools.
Théorie de l'état de transitionthumb|Figure 1 : diagramme de réaction pour une réaction de substitution nucléophile bimoléculaire (SN2) entre le bromométhane et l'anion hydroxyde|400px La théorie de l'état de transition (en anglais transition state theory - TST) a pour objectif d'expliquer les cinétiques de réaction pour des réactions chimiques élémentaires. Cette théorie postule l'existence d'un genre spécial d'équilibre chimique, le quasi-équilibre, entre les réactifs et un complexe de transition activé.
Constante de vitesseDans la cinétique chimique, la constante de vitesse (ou le coefficient de vitesse) k est une mesure de la vitesse d'une réaction chimique. Pour une réaction élémentaire ou une étape élémentaire entre les réactifs A et B, la vitesse de réaction dépend des concentrations. La vitesse de réaction dans un réacteur fermé au cours du temps noté v(t) peut être déterminé par l'expression: Ici la constante de proportionnalité k(T) est la constante de vitesse de la réaction, qui dépend de la température.
État de transitionUn état de transition est, dans une réaction chimique, une configuration particulière le long d'une coordonnée de réaction. Il est défini comme un état correspondant à une énergie maximale le long de cette coordonnée. En ce point, si l'on postule une réaction parfaitement irréversible, les espèces réagissant iront toujours vers la formation des produits. Bien que cette notion soit extensible à toute réaction ou transition physico-chimique, elle est utilisée essentiellement en chimie moléculaire.
Rate equationIn chemistry, the rate law or rate equation for a chemical reaction is a mathematical equation that links the rate of forward reaction with the concentrations or pressures of the reactants and constant parameters (normally rate coefficients and partial reaction orders). For many reactions, the initial rate is given by a power law such as where [\mathrm{A}] and [\mathrm{B}] express the concentration of the species \mathrm{A} and \mathrm{B}, usually in moles per liter (molarity, M).
Reaction rateThe reaction rate or rate of reaction is the speed at which a chemical reaction takes place, defined as proportional to the increase in the concentration of a product per unit time and to the decrease in the concentration of a reactant per unit time. Reaction rates can vary dramatically. For example, the oxidative rusting of iron under Earth's atmosphere is a slow reaction that can take many years, but the combustion of cellulose in a fire is a reaction that takes place in fractions of a second.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Liaison πUne liaison π (prononcé pi) est une liaison chimique covalente dans laquelle deux lobes d'une orbitale atomique occupée par un électron unique se recouvrent avec deux lobes d'une orbitale occupée par un électron d'un autre atome. Il existe un plan nodal unique passant par l'axe internucléaire dans lequel la densité électronique est nulle : le recouvrement des orbitales est latéral. De telles liaisons s'observent dans les doubles liaisons et les triples liaisons mais généralement pas dans les liaisons simples.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Énergie de liaison (chimie)En chimie, l'énergie de liaison (E) est la mesure de la force d'une liaison chimique. Elle représente l'énergie requise pour briser une mole de molécules en atomes individuels. Par exemple, l'énergie de la liaison carbone-hydrogène dans le méthane, E(C–H), est l'enthalpie nécessaire pour casser une molécule de méthane en un atome de carbone et quatre atomes d'hydrogène, divisée par 4. L'énergie de liaison ne doit pas être confondue avec l'énergie de dissociation de liaison, qui est, en dehors du cas particulier des molécules diatomiques, une quantité différente.
Ordre de liaisonL'ordre de liaison (ou indice de liaison) est le nombre de liaisons chimiques entre une paire d'atomes. Par exemple, dans le diazote N≡N, l'ordre de liaison entre les atomes d'azote est 3, de même pour les atomes de carbone de l'acétylène H−C≡C−H alors que pour les liaisons C−H il est de 1. L'ordre de liaison donne une indication sur la stabilité d'une liaison. Dans une approche plus complexe de la liaison chimique, l'ordre de liaison n'est plus nécessairement un entier.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Liaison bananevignette|Représentation des liaisons banane du cyclopropane par le modèle de Coulson-Moffitt, l'un des premiers à les avoir décrites. En chimie, une liaison banane est un type de liaison covalente ayant une géométrie coudée évoquant une banane. Ce terme fait référence à la forme arquée du volume de plus grande densité électronique entre les noyaux atomiques de petites molécules organiques cycliques comme le cyclopropane ou à la représentation des doubles ou triples liaisons comme alternative au modèle de et de .
Vibration moléculaireUne vibration moléculaire se produit lorsque les atomes d'une molécule sont dans un mouvement périodique pendant que la molécule dans son ensemble subit un mouvement de translation et de rotation. La fréquence du mouvement périodique est appelée fréquence de vibration. Une molécule non linéaire constituée de n atomes possède 3n-6 modes normaux de vibration, alors qu'une molécule linéaire n'en possède que 3n-5, puisque la rotation autour de son axe moléculaire ne peut être observée.
Constante d'équilibreEn chimie, une constante d'équilibre caractérise l'état d'équilibre d'un système chimique. Elle est donc associée à un état du système qui ne peut pas évoluer de manière spontanée. La valeur de la constante d'équilibre dépend uniquement de la réaction chimique considérée et de la température. Les constantes d'équilibre sont généralement données à . Claude-Louis Berthollet fut le premier, en 1803, à comprendre que toute réaction chimique n'est pas totale.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Réaction chimiqueUne réaction chimique est une transformation de la matière au cours de laquelle les espèces chimiques qui constituent la matière sont modifiées. Les espèces qui sont consommées sont appelées réactifs ; les espèces formées au cours de la réaction sont appelées produits. Depuis les travaux de Lavoisier (1777), les scientifiques savent que la réaction chimique se fait sans variation mesurable de la masse : , qui traduit la conservation de la masse. thumb|La réaction aluminothermique est une oxydo-réduction spectaculaire.
