HydrolyseUne hydrolyse (du grec hydro : eau et lysis : briser) est une réaction chimique et enzymatique dans laquelle une liaison covalente est rompue par action d'une molécule d'eau. Exemple : hydrolyse du saccharose : saccharose + eau → glucose + fructose : ce mélange porte le nom de sucre inverti ; hydrolyse d'un ester : ester + eau → alcool + acide carboxylique : en utilisant les formules semi-développées cette réaction peut s'écrire R1-COO-R2 + H2O → R2-OH + R1-COOH. La réaction inverse est l'estérification.
Système d'argumentationUn système d'argumentation est un moyen pour un agent de gérer des informations conflictuelles et d'en tirer des conséquences. Dans un système d'argumentation abstrait, l'information de base est un ensemble d'arguments abstraits (qui peuvent par exemple représenter une donnée, une proposition), et les conflits entre arguments sont représentés au moyen d'une relation binaire sur l'ensemble d'arguments. Concrètement, on représente un système d'argumentation au moyen d'un graphe orienté tel que les nœuds représentent les arguments et les arcs représentent la relation d'attaque.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Potentiel électrochimique de membraneToute cellule biologique est entourée d'une membrane dite membrane plasmique. Cette membrane est relativement imperméable aux espèces électriquement chargées telles que les ions et aux molécules qui peuvent participer à l'activité électrochimique (molécules polaires) telles que l'eau. Elle présente ainsi une grande résistance électrique et forme en quelque sorte un dipôle (comme un condensateur). Grâce à ces propriétés, la membrane sépare en deux compartiments étanches l'intérieur de la cellule, le cytoplasme, de l'extérieur de la cellule, le milieu extracellulaire.
Théorie de l'argumentationLa Théorie de l'argumentation est l'étude interdisciplinaire de la façon dont les conclusions peuvent être atteintes par un raisonnement logique. Elle comprend les arts et sciences du débat civil, du dialogue, de la conversation, et de la persuasion. Elle étudie les règles de l'inférence, de la logique et les règles des paramètres du monde artificiel et réel. L'argumentation comprend le débat et la négociation qui sont concernés par le fait d'atteindre mutuellement une conclusion.
ATP synthaseL'ATP synthase (EC 7.1.2.2) est un complexe protéique enzymatique qui se trouve dans les crêtes mitochondriales, la membrane des thylakoïdes, et la membrane plasmique des bactéries et des archées. Le rôle de cette protéine membranaire est de synthétiser l'adénosine triphosphate (ATP) à partir du gradient électrochimique de protons entretenu par la chaîne respiratoire et d'adénosine diphosphate (ADP), ainsi que de phosphate inorganique (Pi), selon la réaction suivante : ADP + Pi → ATP.
Pompe sodium-potassiumLa pompe sodium-potassium ou Na+-K+ ATPase est une protéine transmembranaire hétérotétramère dont l'activité enzymatique utilise l'énergie issue de la dégradation de l'ATP en ADP et phosphate inorganique pour transporter des ions potassium et sodium contre leur gradient de concentration. Elle joue un rôle dans le maintien du potentiel de repos des cellules nerveuses, musculaires et cardiaques. Cette pompe électrogénique permet d'échanger les ions sodium (Na+) issus du milieu intracellulaire avec les ions potassium (K+) issus du milieu extracellulaire dans un rapport précis (3 Na+/2 K+).
Mathématiquesthumb|upright|Raisonnement mathématique sur un tableau. Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations ; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets. Elles sont aussi le domaine de recherche développant ces connaissances, ainsi que la discipline qui les enseigne.
Argument ontologiqueL'argument ontologique est un argument qui vise à prouver l'existence de Dieu. Il est dit ontologique, car il appuie sa preuve sur la définition de ce qu'est l'être (ontos) de Dieu : il est dans l'être de Dieu d'exister. On considère généralement que Boèce () est le premier à avoir proposé un argument de ce genre, mais c'est sa formulation par Anselme de Cantorbéry au qui rend l'argument célèbre. À l'époque moderne, la version cartésienne de l'argument a été particulièrement influente, faisant l'objet de plusieurs critiques qui conduisent à rejeter la valeur des arguments ontologiques en général.
Spectroscopie de fluorescenceLa spectroscopie de fluorescence, ou encore fluorimétrie ou spectrofluorimétrie, est un type de spectroscopie électromagnétique qui analyse la fluorescence d'un échantillon. Elle implique l'utilisation d'un rayon de lumière (habituellement dans l'ultraviolet) qui va exciter les électrons des molécules de certains composés et les fait émettre de la lumière de plus basse énergie, typiquement de la lumière visible, mais pas nécessairement. La spectroscopie de fluorescence peut être une spectroscopie atomique ou une spectroscopie moléculaire.
