Forme normale conjonctiveEn logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form, Clausal Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstration automatique de théorèmes ou encore dans la résolution du problème SAT (en particulier dans l'algorithme DPLL). Une expression logique est en FNC si et seulement si elle est une conjonction d'une ou plusieurs disjonction(s) d'un ou plusieurs littéraux.
Fonction algébriqueEn mathématiques, une fonction algébrique d'indéterminées est une fonction F qui satisfait l'équation non triviale où P est un polynôme à n + 1 variables sur un corps commutatif K. En cela, F est une fonction implicite qui résout une équation algébrique. Un exemple simple serait La classe des fonctions algébriques contient toutes les fonctions rationnelles, mais est plus grande. Du point de vue de l'algèbre générale, il s'agit, pour tout ensemble fixé d'indéterminées, de la clôture algébrique du corps des fonctions rationnelles.
Firebird (base de données)Firebird est un serveur de bases de données relationnelles SQL fonctionnant sous Linux, Mac OS X, Unix et Windows. Il est transactionnel multi-niveaux (two-phase commit sur une transaction partagée sur plusieurs connexions à des bases de données différentes). Firebird est un logiciel libre développé, sous licence Interbase Public Licence (dérivée de la Mozilla Public License 1.1), à partir d'une version d'Interbase brièvement passée Open Source dans sa version 6 en avant que Borland ne décide de continuer à l'exploiter sous licence propriétaire à partir de la version 6.
Géométrie algébriqueLa géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces...) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation ). La simplicité de cette définition fait qu'elle embrasse un grand nombre d'objets et qu'elle permet de développer une théorie riche.
Constante universelle des gaz parfaitsLa constante universelle des gaz parfaits (notée , ou ) est le produit du nombre d'Avogadro () et de la constante de Boltzmann (). Ce produit vaut exactement . La constante universelle des gaz parfaits a été empiriquement déterminée en tant que constante de proportionnalité de l'équation des gaz parfaits. Elle établit le lien entre les variables d'état que sont la température, la quantité de matière, la pression et le volume. Elle est également utilisée dans de nombreuses autres applications et formules.
Algèbre généraleL'algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l'étude des structures algébriques et de leurs relations. L'appellation algèbre générale s'oppose à celle d'algèbre élémentaire ; cette dernière enseigne le calcul algébrique, c'est-à-dire les règles de manipulation des formules et des expressions algébriques. Historiquement, les structures algébriques sont apparues dans différents domaines des mathématiques, et n'y ont pas été étudiées séparément.
Quantité de matièreEn chimie ou en physique, selon le Bureau international des poids et mesures, Il s'agit d'une grandeur physique dont l'unité correspondante dans le Système international d'unités (SI) est la mole. La quantité de matière unitaire est donc « une mole » de la matière considérée, quelle que soit cette matière. L'expression « quantité de matière » n'a été définie qu'en 1969. L'expression « nombre de moles », préexistante, reste correcte et est encore répandue parmi les chimistes.
InverseEn mathématiques, l'inverse d'un élément x (s'il existe) est le nom donné à l'élément symétrique, lorsque la loi est notée multiplicativement. Dans le cas réel, il s'agit du nombre qui, multiplié par x, donne 1. On le note x ou 1/x. Par exemple, dans , l'inverse de 3 est , puisque . Soit un monoïde, un ensemble muni d'une loi de composition interne associative, qu'on note , et d'un élément neutre pour noté 1. Un élément est dit inversible à gauche (respectivement inversible à droite) s'il existe un élément tel que (respectivement ).
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.
Inverse modulaireEn mathématiques et plus précisément en arithmétique modulaire, l'inverse modulaire d'un entier relatif pour la multiplication modulo est un entier satisfaisant l'équation : En d'autres termes, il s'agit de l'inverse dans l'anneau des entiers modulo n, noté Z/nZ ou Z. Une fois ainsi défini, peut être noté , étant entendu implicitement que l'inversion est modulaire et se fait modulo . La définition est donc équivalente à : L'inverse de a modulo existe si et seulement si et sont premiers entre eux, (c.-à-d.
