Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Conditionnels contrefactuelsLes conditionnels contrefactuels (counterfactual conditionals en anglais) sont des propositions utilisées pour exprimer une situation hypothétique dans le passé et de leur conséquences imaginaires. Cette construction grammaticale est utilisée pour spéculer sur des situations qui n'ont pas réellement eu lieu, mais qui auraient pu se produire si les circonstances avaient été différentes. Le conditionnel contrefactuel se présente généralement sous la forme « Si A était le cas, alors B serait le cas ».
Langage de programmationthumb|Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent. D'une manière similaire à une langue naturelle, un langage de programmation est composé d'un alphabet, d'un vocabulaire, de règles de grammaire, de significations, mais aussi d'un environnement de traduction censé rendre sa syntaxe compréhensible par la machine.
Distributed transactionA distributed transaction is a database transaction in which two or more network hosts are involved. Usually, hosts provide transactional resources, while the transaction manager is responsible for creating and managing a global transaction that encompasses all operations against such resources. Distributed transactions, as any other transactions, must have all four ACID (atomicity, consistency, isolation, durability) properties, where atomicity guarantees all-or-nothing outcomes for the unit of work (operations bundle).
Dependence logicDependence logic is a logical formalism, created by Jouko Väänänen, which adds dependence atoms to the language of first-order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is functionally dependent on the values of . Dependence logic is a logic of imperfect information, like branching quantifier logic or independence-friendly logic (IF logic): in other words, its game-theoretic semantics can be obtained from that of first-order logic by restricting the availability of information to the players, thus allowing for non-linearly ordered patterns of dependence and independence between variables.
Molécule d'eauLa molécule d’eau, de formule , est le constituant essentiel de l’eau pure. Celle-ci contient également des ions résultant de l’autoprotolyse de l’eau selon l’équation d'équilibre : H + OH (ou 2 HO + OH). L’eau pure n’est pas présente dans la nature et doit être obtenue par des processus physiques. Cette molécule a des propriétés complexes à cause de sa polarisation (voir la section Nature dipolaire). L’eau à pression ambiante (environ un bar) est gazeuse au-dessus de , solide en dessous de et liquide entre les deux.
Journal des transactionsEn informatique, le journal des transactions (en anglais, transaction log, transaction journal, database log, binary log ou audit trail) est la liste des transactions informatiques exécutées sur une base de données. Cette liste de transactions est utilisée pour rétablir l'intégrité de la base de données dans les cas de problèmes logiciels ou matériels du système qui gère la base de données. Physiquement, le journal des transactions est un fichier contenant une copie des modifications apportées à la base de données.
Acid strengthAcid strength is the tendency of an acid, symbolised by the chemical formula HA, to dissociate into a proton, H+, and an anion, A-. The dissociation of a strong acid in solution is effectively complete, except in its most concentrated solutions. HA -> H+ + A- Examples of strong acids are hydrochloric acid (HCl), perchloric acid (HClO4), nitric acid (HNO3) and sulfuric acid (H2SO4). A weak acid is only partially dissociated, with both the undissociated acid and its dissociation products being present, in solution, in equilibrium with each other.
Acide phosphoriqueL’acide phosphorique (ou acide orthophosphorique) est un composé chimique de formule . C'est un oxoacide trifonctionnel (triacide) important en chimie inorganique et fondamental en biochimie. Il s'agit d'un acide minéral obtenu par traitement de roches phosphatées ou par combustion du phosphore. À température ambiante, l'acide phosphorique est un solide cristallin de densité 1,83 qui fond à . Il constitue la matière première de base pour la production de phosphates (ou sels phosphatés).
Cohérence (données)thumb|right|400px|schéma illustrant le besoin d'un protocole de cohérence de cache En informatique, la cohérence est la capacité pour un système à refléter sur la copie d'une donnée les modifications intervenues sur d'autre copies de cette donnée. Cette notion est principalement utilisée dans trois domaines informatiques : les systèmes de fichiers, les bases de données, et les mémoires partagées.
