Cohérence (logique)En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens. La première définition est syntaxique au sens où elle utilise des déductions ou démonstrations, qui sont des objets finis.
Transactional memoryIn computer science and engineering, transactional memory attempts to simplify concurrent programming by allowing a group of load and store instructions to execute in an atomic way. It is a concurrency control mechanism analogous to database transactions for controlling access to shared memory in concurrent computing. Transactional memory systems provide high-level abstraction as an alternative to low-level thread synchronization. This abstraction allows for coordination between concurrent reads and writes of shared data in parallel systems.
Filetage trapézoïdalLe pas de vis trapézoïdal est utilisé pour la transmission d'efforts importants et précis. On distingue deux sortes de filets trapézoïdaux : Le pas métrique avec des flancs formant un angle de 30°, Le système Acmé dont le pas est exprimé en pouces avec des flancs formant un angle de 29°. Toutes les dimensions sont en millimètres, l’angle du trapèze est de 30° et le diamètre D de l’axe sera choisi dans la série des diamètres normalisés.
Gentzen's consistency proofGentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that the Peano axioms of first-order arithmetic do not contain a contradiction (i.e. are "consistent"), as long as a certain other system used in the proof does not contain any contradictions either. This other system, today called "primitive recursive arithmetic with the additional principle of quantifier-free transfinite induction up to the ordinal ε0", is neither weaker nor stronger than the system of Peano axioms.
Tempovignette|droite|Les deux premières mesures de la sonate XI de Mozart (). Le tempo, Andante grazioso, est noté par Mozart avant l'invention du métronome. L'indication complémentaire « = 120 » est une notation de l'éditeur, qui elle peut varier d'une partition à l'autre. En musique, le tempo (en tempo « temps » ; au pl. tempos, ou plus rare, tempi, selon le pluriel italien), appelé aussi mouvement, est la vitesse d'exécution d'une œuvre ou plus exactement la fréquence de la pulsation, ce battement régulier .
