Éducation musicalevignette|Leçon de musique. L’éducation musicale est une discipline qui s'occupe, d'une part, de l'enseignement et de l'apprentissage de la musique (académique, populaire et du monde) et, d'autre part, de l'éducation aux aspects sociaux et culturels du code sonore et des bruits dans notre monde actuel. La musique a été toujours liée à des fonctions de grande importance dans les cérémonies sociales, culturelles et religieuses dans les civilisations les plus anciennes.
Analyse musicaleL’analyse musicale est une discipline consistant en l'étude d'une œuvre musicale de façon à en comprendre la genèse, l'architecture et les dessins. Après avoir déterminé le contexte historique, culturel et stylistique de la composition, s'être penché sur la biographie, les influences de l'auteur et les circonstances de la création, une analyse musicale examinera le genre, la forme, la structure, les indications de mouvement et de tempo (leurs agogiques éventuelles), les tonalités, les enchaînements harmoniques, les formules cadentielles et l'orchestration sans oublier l'observation minutieuse de la mélodie, des différentes voix polyphoniques, du rythme, des nuances et de la dynamique et des ornementations.
Théorie de la musiqueUne théorie de la musique est un ensemble de règles décrivant le système musical d'une culture particulière. Le corpus mondial de textes théoriques concernant la musique est immense. Chaque culture musicale possède ses propres formes. Les théories de la musique regroupent des ensembles de notions concernant la production et l'organisation des sons musicaux, qui ne définissent pas nécessairement tous de la même façon le temps, le caractère distinctif de chaque son, et les relations entre sons successifs ou simultanés.
Musiquevignette|Allégorie de la musique, François Boucher, 1752. vignette|Jean-Sébastien Bach, compositeur de musique baroque. vignette|Jacques Brel, chanteur. vignette|350x350px|Mozart, La Flûte enchantée, première page du manuscrit autographe. vignette|Allégorie évoquant la musique et les instruments.vignette|290x290px|Beethoven, Symphonie , première page du manuscrit autographe. La musique est un art et une activité culturelle consistant à combiner sons et silences au cours du temps.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Set theory (music)Musical set theory provides concepts for categorizing musical objects and describing their relationships. Howard Hanson first elaborated many of the concepts for analyzing tonal music. Other theorists, such as Allen Forte, further developed the theory for analyzing atonal music, drawing on the twelve-tone theory of Milton Babbitt. The concepts of musical set theory are very general and can be applied to tonal and atonal styles in any equal temperament tuning system, and to some extent more generally than that.
Musical compositionMusical composition can refer to an original piece or work of music, either vocal or instrumental, the structure of a musical piece or to the process of creating or writing a new piece of music. People who create new compositions are called composers. Composers of primarily songs are usually called songwriters; with songs, the person who writes lyrics for a song is the lyricist. In many cultures, including Western classical music, the act of composing typically includes the creation of music notation, such as a sheet music "score," which is then performed by the composer or by other musicians.
École de musiqueUne école de musique (académie de musique en Belgique) est une institution dispensant un enseignement spécialisé de la musique. que les écoles de musique existent. À l'origine, depuis le Moyen Âge, la musique (avant tout vocale) était enseignée dans les églises, sur une durée de douze ans environ, à travers toute la France (et l'Europe), au sein d'une école maîtrisienne et d'un chœur (appelé aussi psallette), à des enfants qui pouvaient devenir ensuite choristes (et un peu plus accessoirement instrumentistes) professionnels, embauchés par l'Église, principalement dans une collégiale ou une cathédrale, ou bien ailleurs dans le monde profane.
Représentation de groupeEn mathématiques, une représentation de groupe décrit un groupe en le faisant agir sur un espace vectoriel de manière linéaire. Autrement dit, on essaie de voir le groupe comme un groupe de matrices, d'où le terme représentation. On peut ainsi, à partir des propriétés relativement bien connues du groupe des automorphismes de l'espace vectoriel, arriver à déduire quelques propriétés du groupe. C'est l'un des concepts importants de la théorie des représentations.
Music and mathematicsMusic theory analyzes the pitch, timing, and structure of music. It uses mathematics to study elements of music such as tempo, chord progression, form, and meter. The attempt to structure and communicate new ways of composing and hearing music has led to musical applications of set theory, abstract algebra and number theory. While music theory has no axiomatic foundation in modern mathematics, the basis of musical sound can be described mathematically (using acoustics) and exhibits "a remarkable array of number properties".
Musique savante« Musique savante », synonyme de « musique sérieuse » ou « grande musique », est un terme général utilisé pour désigner des traditions musicales impliquant des considérations structurelles et théoriques avancées. La notion est fréquemment employée en musicologie, bien qu'elle soit parfois discutée par certains musicologues. Elle est souvent employée dans le contexte d'une classification construite sur un .
Progression d'accordsUne progression d'accords ou progression harmonique est une série d'accords musicaux (en anglais chord progression ou chord changes) qui vise à établir (ou contredire) une tonalité fondée sur une tonique et son accord. Les accords et la théorie des accords sont connus sous le nom d'harmonie. Un accord peut être construit à partir de n'importe quelle note d'une gamme. Donc une gamme de sept notes permet sept accords de base, chaque degré de la gamme devenant la fondamentale de son propre accord.
Acoustique musicaleL'acoustique musicale est le domaine de l'acoustique consacré à l'étude des sons musicaux et leur mode de production par les instruments de musique et la voix. Née du souci de relier la tradition musicale, principalement de la musique savante, à l'esprit scientifique, l'acoustique musicale fut l'un des premiers champs d'investigation de l'acoustique.
Genre musicalthumb|Tango. D'après l'encyclopédie Larousse, le genre musical est un . Le genre musical est un concept sans limites précises, il est compliqué d'établir une liste exhaustive des genres. La dénomination d’un genre peut venir d’une expression qui a marqué une scène musicale (Krautrock), de techniques ou sources sonores utilisées par le genre musical populaire (techno, synthpop), de son origine géographique (Miami bass, UK garage), ou de l’intention que porte le style (rock psychédélique).
HiérarchieLe concept de hiérarchie tiré des vocables grec hieros (« sacré ») et archos (« commencement », ou « ce qui est premier ») ou plus certainement arkhê (« pouvoir », ou « commandement ») s'applique à plusieurs domaines, physiques ou moraux. Définition économique : fait qu'un individu A puisse obtenir d'un individu B qu'il serve les intérêts de son supérieur plutôt que ses intérêts propres. Étymologiquement parlant, la notion de hiérarchie est basée sur le caractère plus ou moins sacré attribué à une personne, un concept ou une chose.
Musique arabevignette|200px|Dahmane El Harrachi considéré comme l'un des meilleurs instrumentistes et compositeurs de musique algérienne. La musique arabe désigne un ensemble de musiques issues du monde arabe c'est-à-dire une zone géographique allant du Moyen-Orient à l'Atlantique. Elle constitue les branches d'une même famille musicale ayant évolué dans les foyers culturels au Moyen-Orient mais également dans des contextes différents.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Instrument de musiqueright|thumb|280px|Fresque étrusque de la tombe des Léopards à Monterozzi en Italie. right|thumb|280px|Planche illustrée d'instruments de musique extraite du "Systematische Bilder-Gallerie zur allgemeinen deutschen Real Encyclopädie in lithographirten Blättern" (1842) Un instrument de musique est un objet pouvant produire un son contrôlé par un musicien — que cet objet soit conçu dans cet objectif, ou bien qu'il soit modifié ou écarté de son usage premier.
Série harmonique (musique)En acoustique musicale et en psychoacoustique, une série harmonique est la série des partiels harmoniques qui composent un son périodique complexe. Les instruments de musique à hauteur déterminée (par opposition aux instruments à hauteur indéterminée) sont souvent basés sur un résonateur acoustique tel qu'une corde ou une colonne d'air, qui oscille dans de nombreux modes propres simultanément. Aux fréquences de chaque mode de vibration, des ondes se propagent dans les deux sens le long de la corde ou de la colonne d'air, se renforçant et s'annulant mutuellement pour former des ondes stationnaires.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).