Réaction organiqueLes réactions organiques sont des réactions chimiques impliquant des composés organiques. Les principaux types de réactions organiques sont l'élimination, l'addition, la substitution, le réarrangement et les réactions d'oxydoréduction impliquant des composés organiques. Ces réactions sont utilisées en synthèse organique pour construire de nouvelles molécules organiques. La production de nombreuses substances chimiques, comme les médicaments, les plastiques, les additifs alimentaires, etc., met en jeu des réactions organiques.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
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).
RétrosynthèseLa rétrosynthèse ou analyse rétrosynthétique est une technique de résolution de problèmes dans la planification de synthèses organiques. La rétrosynthèse consiste à décomposer une molécule d'intérêt, souvent complexe, en un ensemble de précurseurs plus simples, sans hypothèse a priori sur les composés de départ qui seront utilisés. Ce processus est itéré sur les précurseurs eux-mêmes, qui sont à leur tour décomposés, jusqu'à ce qu'on aboutisse à des molécules disponibles commercialement. Ce concept a été formalisé par E.
Effet stériquethumb|L'effet stérique d'une molécule de tri-(tert-butyl)amine rend les réactions électrophiles, comme la formation ici de cations de tetraalkylammonium, difficiles. Il est difficile pour les électrophiles de se rapprocher et d'attaquer les doublets non liants de la molécule d'azote (ici en bleu). L'effet stérique est l'ensemble des attractions et répulsions entre atomes d'une molécule liées au chevauchement des nuages des lobes orbitaux électroniques (répulsion de Pauli ou de Born) qui affecte la forme normale de la molécule ainsi que ses propriétés lors d'une réaction chimique.
Chlorure de fer(III)Le chlorure de fer(III), également appelé chlorure ferrique ou perchlorure de fer, est un sel de fer de formule chimique FeCl3. C'est un composé très hygroscopique, qui émet des vapeurs dans l'air humide sous l'effet de l'hydrolyse. La réaction de dissolution dans l'eau est très exothermique et forme une solution acide marron. Ce liquide corrosif est utilisé pour traiter les eaux usées et les eaux d'adduction. Il est également utilisé pour des attaques métallographiques sur des cuivreux (notamment ceux présents dans les circuits imprimés) ainsi que l'acier inoxydable.
Fonction d'erreurthumb|right|upright=1.4|Construction de la fonction d'erreur réelle. En mathématiques, la fonction d'erreur (aussi appelée fonction d'erreur de Gauss) est une fonction entière utilisée en analyse. Cette fonction se note erf et fait partie des fonctions spéciales. Elle est définie par : La fonction erf intervient régulièrement dans le domaine des probabilités et statistiques, ainsi que dans les problèmes de diffusion (de la chaleur ou de la matière).
NombreUn nombre est un concept permettant d’évaluer et de comparer des quantités ou des rapports de grandeurs, mais aussi d’ordonner des éléments en indiquant leur rang. Souvent écrits à l’aide d’un ou plusieurs chiffres, les nombres interagissent par le biais d’opérations qui sont résumées par des règles de calcul. Les propriétés de ces relations entre les nombres sont l’objet d’étude de l’arithmétique, qui se prolonge avec la théorie des nombres.
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.
Pédale d'effetthumb|Pédale de distorsion Boss DS-1, l'une des plus répandues au monde. vignette|Un guitariste joue une mélodie puis enclenche une pédale d'overdrive au pied. Une pédale d'effet est un petit appareil électronique contrôlable au pied servant à appliquer un effet au son émis par un instrument de musique amplifié (guitare électrique, synthétiseur, basse). Ce format est apprécié sur scène pour sa petite taille, et pour la possibilité d'être activé au pied tout en jouant de son instrument.
