Équilibre statique (mécanique)En physique, un équilibre statique est un mouvement nul. Dans le cas d’un système matériel quelconque, un mouvement nul se traduit par un champ de vecteurs vitesses nul. Dans le cas d’un solide indéformable, ce mouvement particulier est caractérisé par un torseur cinématique nul Pour un système de plusieurs solides, il faut écrire les conditions précédentes pour chacun des solides. Ceci est une conséquence du « principe fondamental de la statique » qui stipule que « la somme et le moment de toutes les forces qui s'exercent sur lui est nulle.
Axiome du choixvignette|upright=1.5|Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo. L'axiome du choix peut être accepté ou rejeté, selon la théorie axiomatique des ensembles choisie.
Paradoxe du singe savantLe paradoxe du singe savant est un théorème selon lequel un singe qui tape indéfiniment et au hasard sur le clavier d’une machine à écrire pourra « presque sûrement » écrire un texte donné. Dans ce contexte, « presque sûrement » est une expression mathématique ayant un sens précis, et le singe n'est pas vraiment un singe mais une métaphore pour un mécanisme abstrait qui produit une séquence aléatoire de lettres à l'infini. Le théorème illustre les dangers de raisonner sur l'infini en imaginant un très grand nombre, mais fini, et vice versa.
Professeur (titre)right|thumb|Classe à l'université vers 1350, qui illustre le Professeur exécutant la lectio (lecture) sur sa chaire universitaire. Professeur ou professeure, souvent noté Pr ou Prof., est un terme utilisé comme un titre académique lié à l'histoire des universités. Il trouve ses origines dans les titulaires d'une chaire universitaire, ainsi amené à professer leurs savoirs à la manière des archevêques qui professaient depuis leur chaire ecclésiastique. Il qualifie un expert qui étudie, professe et débat de connaissances dans un art ou une science.
Aleph (nombre)vignette|Aleph-zéro, le plus petit aleph En théorie des ensembles, les alephs sont les cardinaux des ensembles infinis bien ordonnés. En quelque sorte, le cardinal d'un ensemble représente sa « taille », indépendamment de toute structure que puisse avoir cet ensemble (celle d'ordre en particulier dans le cas présent). Ils sont nommés ainsi d'après la lettre aleph, notée א, première lettre de l'alphabet hébreu, qui est utilisée pour les représenter.
Dedekind-infinite setIn mathematics, a set A is Dedekind-infinite (named after the German mathematician Richard Dedekind) if some proper subset B of A is equinumerous to A. Explicitly, this means that there exists a bijective function from A onto some proper subset B of A. A set is Dedekind-finite if it is not Dedekind-infinite (i.e., no such bijection exists). Proposed by Dedekind in 1888, Dedekind-infiniteness was the first definition of "infinite" that did not rely on the definition of the natural numbers.
Moment d'un vecteurLe moment d'un vecteur peut se définir par rapport à un point ou par rapport à un axe orienté. Le moment par rapport à un point est un vecteur, le moment par rapport à un axe est un scalaire. Les moments d'un vecteur vrai (ou vecteur polaire) sont des pseudovecteurs ou des pseudoscalaires, ceux d'un pseudovecteur sont des vecteurs vrais ou des scalaires vrais.
Réaction réversibleUne réaction réversible est une réaction dans laquelle se produisent simultanément la conversion des réactifs en produits et la conversion des produits en réactifs. aA + bB cC + dD A et B peuvent réagir pour former C et D, ou C et D peuvent réagir pour former A et B dans la réaction inverse. Ceci est distinct d'un processus réversible en thermodynamique. Les acides et les bases faibles subissent des réactions réversibles. Par exemple, l'acide carbonique : H 2 CO 3 (l) + H 2 O (l) ⇌ HCO 3 − (aq) + H 3 O + (aq) .
Épure de Cremonavignette|Épure de Cremona pour un treillis à 15 poutres, 9 nœuds et 9 forces extérieures. L'épure de Cremona, du nom de son inventeur, Luigi Cremona, est une méthode de statique graphique utilisée pour le calcul des efforts dans un treillis (système triangulé, assemblage de poutres). On trouve fréquemment des orthographes de ce nom avec un accent aigu et éventuellement une minuscule initiale (Crémona, crémona). La structure est divisée en régions, qui sont délimitées par des poutres ou les demi-droites portant les forces extérieures à la structure.
SHA-2SHA-2 (Secure Hash Algorithm) est une famille de fonctions de hachage qui ont été conçues par la National Security Agency des États-Unis (NSA), sur le modèle des fonctions SHA-1 et SHA-0, elles-mêmes fortement inspirées de la fonction MD4 de Ron Rivest (qui a donné parallèlement MD5). Telle que décrite par le National Institute of Standards and Technology (NIST), elle comporte les fonctions, SHA-256 et SHA-512 dont les algorithmes sont similaires mais opèrent sur des tailles de mot différentes (32 bits pour SHA-256 et 64 bits pour SHA-512), SHA-224 et SHA-384 qui sont essentiellement des versions des précédentes dont la sortie est tronquée, et plus récemment SHA-512/256 et SHA-512/224 qui sont des versions tronquées de SHA-512.
Test suiteIn software development, a test suite, less commonly known as a validation suite, is a collection of test cases that are intended to be used to test a software program to show that it has some specified set of behaviors. A test suite often contains detailed instructions or goals for each collection of test cases and information on the system configuration to be used during testing. A group of test cases may also contain prerequisite states or steps, and descriptions of the following tests.
Construction des entiers naturelsIl existe plusieurs méthodes classiques de construction des entiers naturels, mais on utilise aujourd’hui le plus souvent celle due à von Neumann . Dans la théorie des ensembles, on définit les entiers par récurrence, en construisant explicitement une suite d'ensembles à partir de l'ensemble vide (la théorie des ensembles postule qu'il existe au minimum un tel ensemble vide).
