Forme normale disjonctiveEn logique booléenne ou en calcul des propositions, une forme normale disjonctive ou FND (en anglais, disjunctive normal form ou DNF) est une normalisation d'une expression logique qui est une disjonction de clauses conjonctives. Elle est utilisée dans la démonstration automatique de théorèmes. Une expression logique est en FND si et seulement si elle est une disjonction d'une ou plusieurs conjonctions d'un ou plusieurs littéraux. Tout comme dans une forme normale conjonctive (FNC), les seuls opérateurs dans une FND sont le et logique, le ou logique et la négation.
Canonical formIn mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical expression. Often, it is one which provides the simplest representation of an object and allows it to be identified in a unique way. The distinction between "canonical" and "normal" forms varies from subfield to subfield. In most fields, a canonical form specifies a unique representation for every object, while a normal form simply specifies its form, without the requirement of uniqueness.
Canonical normal formIn Boolean algebra, any Boolean function can be expressed in the canonical disjunctive normal form (CDNF) or minterm canonical form, and its dual, the canonical conjunctive normal form (CCNF) or maxterm canonical form. Other canonical forms include the complete sum of prime implicants or Blake canonical form (and its dual), and the algebraic normal form (also called Zhegalkin or Reed–Muller). Minterms are called products because they are the logical AND of a set of variables, and maxterms are called sums because they are the logical OR of a set of variables.
Degenerate bilinear formIn mathematics, specifically linear algebra, a degenerate bilinear form f (x, y ) on a vector space V is a bilinear form such that the map from V to V∗ (the dual space of V ) given by v ↦ (x ↦ f (x, v )) is not an isomorphism. An equivalent definition when V is finite-dimensional is that it has a non-trivial kernel: there exist some non-zero x in V such that for all A nondegenerate or nonsingular form is a bilinear form that is not degenerate, meaning that is an isomorphism, or equivalently in finite dimensions, if and only if for all implies that .
Catalyse hétérogènevignette|droite|Catalyseur monolytique utilisé pour l'oxydation de CO en En chimie, on parle de la catalyse hétérogène lorsque le catalyseur et les réactifs sont dans plusieurs phases. Généralement, le catalyseur est solide et les réactifs sont gazeux ou en solution aqueuse. La catalyse hétérogène est d'une importance primordiale dans de nombreux domaines de l'industrie chimique et le secteur de l'énergie. L'importance de la catalyse hétérogène est mise en évidence via les Prix Nobel pour Fritz Haber en 1918, Carl Bosch en 1931, Irving Langmuir en 1932 et Gerhard Ertl en 2007.
Métamorphismevignette|upright=1.6|Évolutions métamorphiques les plus souvent enregistrées par les roches du métamorphisme régional en domaine continental, dans le diagramme pression-température (P-T) dans le métamorphisme. Domaines de stabilité de (chlorite, plagioclase, biotite, grenat, andalousite, disthène et sillimanite). Le métamorphisme désigne l'ensemble des transformations subies à l'état solide par une roche (sédimentaire, magmatique ou métamorphique) sous l'effet de modifications des conditions de température, de pression, de la nature des fluides minéralisés ou de la composition chimique de la roche.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Forme multilinéaireEn mathématiques, une forme multilinéaire est une application d'un produit d'espaces vectoriels dans leur corps de coefficients, qui est linéaire en chacune de ses variables. C'est donc un cas particulier d'application multilinéaire. Soient un entier k > 0 et des espaces vectoriels sur un même corps K. Une application est dite multilinéaire (ou plus précisément : k-linéaire) si elle est linéaire en chaque variable, c'est-à-dire si, pour des vecteurs et des scalaires a et b, Un exemple classique de forme multilinéaire est le déterminant.
Tandem mass spectrometryTandem mass spectrometry, also known as MS/MS or MS2, is a technique in instrumental analysis where two or more mass analyzers are coupled together using an additional reaction step to increase their abilities to analyse chemical samples. A common use of tandem MS is the analysis of biomolecules, such as proteins and peptides. The molecules of a given sample are ionized and the first spectrometer (designated MS1) separates these ions by their mass-to-charge ratio (often given as m/z or m/Q).
Densité surfacique d'énergieLa densité surfacique d'énergie ou énergie surfacique, voire densité énergétique (quand le contexte surfacique est clair), est la quantité d’énergie par une unité de surface. Dans le Système international elle se mesure en J/m (joules par mètre carré). Dans un contexte industriel on l'exprime souvent en kWh/m (kilowatts-heures par mètre carré). Cette grandeur physique est principalement utilisée dans l'étude physique des interfaces entre liquides non miscibles, ou entre liquide et gaz, où elle caractérise l'énergie nécessaire à former une interface d'une certaine surface.
