Forme (géométrie)En géométrie classique, la forme permet d’identifier ou de distinguer des figures selon qu’elles peuvent ou non être obtenues les unes à partir des autres par des transformations géométriques qui préservent les angles en multipliant toutes les longueurs par un même coefficient d’agrandissement. Au sens commun, la forme d’une figure est en général décrite par la donnée combinatoire d’un nombre fini de points et de segments ou d’autres courbes délimitant des surfaces, des comparaisons de longueurs ou d’angles, d’éventuels angles droits et éventuellement du sens de courbure.
NombreUn nombre est un concept permettant d’évaluer et de comparer des quantités ou des rapports de grandeurs, mais aussi d’ordonner des éléments en indiquant leur rang. Souvent écrits à l’aide d’un ou plusieurs chiffres, les nombres interagissent par le biais d’opérations qui sont résumées par des règles de calcul. Les propriétés de ces relations entre les nombres sont l’objet d’étude de l’arithmétique, qui se prolonge avec la théorie des nombres.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Art sonoreLart sonore (ou arts sonores au pluriel) est un ensemble varié de pratiques artistiques qui mettent l'accent sur le son et l'ouïe produisant diverses formes de créations artistiques (auditives, mais également visuelles et sensorielles). L'art sonore est un ensemble varié de pratiques artistiques qui mettent l'accent sur le son et l’ouïe (qui en font la matière première de création) et produisant diverses formes de créations artistiques (auditives, mais également visuelles et sensorielles)..
Carte sonUne carte son est une carte d'extension permettant d'augmenter les capacités sonores d'un ordinateur. La principale fonction de cette carte est de générer des sons à l'aide d'un générateur de son programmable ou d'un convertisseur numérique-analogique, pour l'envoyer vers différents types de sorties (RCA, jack, TOSLINK). Un casque, des haut-parleurs ou tout autre élément d'une chaîne sonore pourra alors y être relié. Une carte son fournit généralement une ou plusieurs entrées permettant de brancher une source, telle qu'un microphone ou une entrée ligne.
Design sonorevignette|Studio Sound Design Bell X-1 Paris France 2002 Le design sonore ou la conception sonore est l'art d'utiliser des éléments sonores afin d'obtenir un effet désiré. Il est employé dans une variété de disciplines comme le cinéma, le théâtre, l'enregistrement et le mixage de musique, la réalisation de livres audio, le concert, le développement de jeux vidéo ou la publicité. Le design sonore implique généralement la manipulation d'objets musicaux ou de corps sonores.
Nom de domaine internationaliséUn nom de domaine internationalisé est un nom de domaine Internet qui peut contenir des caractères non définis par le standard ASCII. Parmi ces caractères, on trouve notamment les lettres accentuées courantes dans de nombreuses langues européennes, ainsi que d'autres caractères n'appartenant pas à l'alphabet latin. Plusieurs registres de noms de domaine autorisent aujourd'hui les noms de domaine internationalisés, par exemple .de (Allemagne), .eu (Union européenne).
Théorie des nombresTraditionnellement, la théorie des nombres est une branche des mathématiques qui s'occupe des propriétés des nombres entiers (qu'ils soient entiers naturels ou entiers relatifs). Plus généralement, le champ d'étude de cette théorie concerne une large classe de problèmes qui proviennent naturellement de l'étude des entiers. La théorie des nombres occupe une place particulière en mathématiques, à la fois par ses connexions avec de nombreux autres domaines, et par la fascination qu'exercent ses théorèmes et ses problèmes ouverts, dont les énoncés sont souvent faciles à comprendre, même pour les non-mathématiciens.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Vitesse du sonvignette|Un F/A-18 Hornet se déplaçant à une vitesse proche de celle du son lors d'un passage dans une zone de condensation d'air humide. La vitesse du son, ou célérité du son, est la vitesse de propagation des ondes sonores dans tous les milieux gazeux, liquides ou solides. Elle peut donc être déterminée pour des matériaux autres que l'air, dans lesquels le son ne peut être perçu par l'oreille humaine. Dans un fluide quelconque, quelles que soient les conditions de pression et température, la vitesse du son dépend de la compressibilité isentropique et de la masse volumique du milieu de propagation de l'onde.
12 equal temperament12 equal temperament (12-ET) is the musical system that divides the octave into 12 parts, all of which are equally tempered (equally spaced) on a logarithmic scale, with a ratio equal to the 12th root of 2 ( ≈ 1.05946). That resulting smallest interval, the width of an octave, is called a semitone or half step. Twelve-tone equal temperament is the most widespread system in music today. It has been the predominant tuning system of Western music, starting with classical music, since the 18th century, and Europe almost exclusively used approximations of it for millennia before that.
