Dureté (matériau)La dureté d'un matériau est définie comme la résistance mécanique qu'un matériau oppose à la pénétration. Pour mesurer la dureté d'un matériau, un pénétrateur de faible déformabilité (cône ou sphère en diamant, carbure de tungstène lié au cobalt ou acier extra-dur) est enfoncé à la surface du matériau à tester avec une force connue pendant un temps donné. Plus l'empreinte laissée est petite, plus le matériau est dur. La dureté se mesure sur différentes échelles selon le type de matériau considéré.
Fatigue (matériau)vignette|Photomicrographie de la progression des fissures dans un matériau dues à la fatigue. Image tirée de . La fatigue est l'endommagement local d'une pièce sous l'effet d'efforts variables : forces appliquées, vibrations, rafales de vent Alors que la pièce est conçue pour résister à des efforts donnés, la variation de l'effort, même à des niveaux bien plus faibles que ceux pouvant provoquer sa rupture, peut à la longue provoquer sa rupture. Les essais de fatigue permettent de déterminer la résistance des matériaux à de telles faibles charges répétées.
Ruban perforéLe ruban perforé et la carte perforée ont été les premiers supports d'entrée-sortie et les premières mémoires de masse utilisés dans les débuts de l'informatique. thumb|250px|Ruban perforé de l'Altair BASIC de Microsoft pour l'ordinateur Altair 8800 de MITS développé par Bill Gates et Paul Allen en 1975. Le ruban perforé est un long ruban de papier souple et solide, percé de trous circulaires disposés dans le sens de la largeur. Ces trous, disposés de façon normalisée, permettent d'encoder des valeurs sur un octet, soit sur 8 bits.
Nordström's theory of gravitationIn theoretical physics, Nordström's theory of gravitation was a predecessor of general relativity. Strictly speaking, there were actually two distinct theories proposed by the Finnish theoretical physicist Gunnar Nordström, in 1912 and 1913 respectively. The first was quickly dismissed, but the second became the first known example of a metric theory of gravitation, in which the effects of gravitation are treated entirely in terms of the geometry of a curved spacetime.
Formule logiqueEn logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Informellement les formules sont les assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (Vrai, ou Faux). Les formules logiques sont l'équivalent des phrases du langage naturel.
Intersection numberIn mathematics, and especially in algebraic geometry, the intersection number generalizes the intuitive notion of counting the number of times two curves intersect to higher dimensions, multiple (more than 2) curves, and accounting properly for tangency. One needs a definition of intersection number in order to state results like Bézout's theorem. The intersection number is obvious in certain cases, such as the intersection of the x- and y-axes in a plane, which should be one.
Carte perforéeUne carte perforée est un morceau de papier rigide dont la surface peut être lue par un dispositif repérant la présence ou l'absence de trou à certains endroits et transmettant cette information à une unité de traitement. Certaines machines demandent que les cartes soient reliées entre elles. Les premières cartes perforées ont fait leur apparition au dans divers automates et en particulier les métiers à tisser, les orgues de Barbarie et les pianos mécaniques.
Code civilUn code civil est une compilation de lois et règles régissant les matières du droit civil. Il en existe dans nombre d'États ou de régions. Code civil algérien et Code de la famille Code civil de Côte d'Ivoire Code des obligations et des contrats et Code du statut personnel Code des obligations et des contrats et Code du statut personnel Code civil argentin Code civil brésilien Code civil du Québec Ancien codes civils : Code civil du Bas-Canada et Code civil du Québec (1980) Code civil chilien Code
S-expressionUne S-expression (ou expression symbolique) est une convention pour la représentation de données ou d'expressions d'un programme sous forme textuelle. Les S-expressions sont utilisées dans la famille de langages Lisp, incluant Scheme et , ainsi que comme métalangage dans des protocoles de communication tels IMAP ou le langage CBCL (Common Business Communication Language) de John McCarthy.
Liste de codes juridiquesEn droit, un code est un recueil de lois ou de règles juridiques (code d'honneur) définies par un groupe, une société, un métier, un État. L'origine du mot code provient de sa polysémie : c'est une extension du sens du mot codex. Code de Hammurabi et code d'Ur-Nammu Corpus juris civilis, comprenant notamment le Code justinien ou Code de Justinien (commandé par Justinien , empereur d'Orient), qui rassemble le droit romain Code de Théodose ou théodosien Code Henri de 1609 Code Marillac de 1614 Code Michau Code Louis (1677) Code du commerce de 1673.
