Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
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.
Mode (musique)Le mode, en musique, est un type d'échelle musicale couplé avec un ensemble de comportements mélodiques caractéristiques, notamment en relation avec une note de référence (appelée « finale », « tonique », « note nominale » ou tout simplement « note de référence »). Le terme « mode » a été utilisé dans la théorie musicale occidentale depuis le Moyen Âge pour désigner des caractéristiques : du chant grégorien ; de la polyphonie de la Renaissance ; de la musique tonale.
Mu-calculEn logique mathématique et en informatique théorique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des opérateurs de points fixes. Selon Bradfield et Walukiewicz, le mu-calcul est une des logiques les plus importantes pour la vérification de modèles ; elle est expressive tout en ayant de bonnes propriétés algorithmiques. Le mu-calcul (propositionnel et modal) a d'abord été introduit par Dana Scott et Jaco de Bakker puis a été étendu dans sa version moderne par Dexter Kozen.
Modal operatorA modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not.
Diatonic and chromaticDiatonic and chromatic are terms in music theory that are most often used to characterize scales, and are also applied to musical instruments, intervals, chords, notes, musical styles, and kinds of harmony. They are very often used as a pair, especially when applied to contrasting features of the common practice music of the period 1600–1900. These terms may mean different things in different contexts. Very often, diatonic refers to musical elements derived from the modes and transpositions of the "white note scale" C–D–E–F–G–A–B.
Pitch classIn music, a pitch class (p.c. or pc) is a set of all pitches that are a whole number of octaves apart; for example, the pitch class C consists of the Cs in all octaves. "The pitch class C stands for all possible Cs, in whatever octave position." Important to musical set theory, a pitch class is "all pitches related to each other by octave, enharmonic equivalence, or both." Thus, using scientific pitch notation, the pitch class "C" is the set {Cn : n is an integer} = {..., C−2, C−1, C0, C1, C2, C3 ...}.
Échelle chromatiqueEn théorie de la musique, l’échelle chromatique, ou gamme chromatique, est une échelle musicale composée de douze degrés, séparés les uns des autres par un demi-ton. Par rapport à l’échelle diatonique, elle est constituée des sept degrés plus cinq notes intermédiaires, obtenues par altérations. L'échelle chromatique est ainsi composée de 12 demi-tons, contrairement à l'échelle diatonique qui associe tons et demi-tons.
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.
Common practice periodIn European art music, the common-practice period is the era of the tonal system. Most of its features persisted from the mid-Baroque period through the Classical and Romantic periods, roughly from 1650 to 1900. There was much stylistic evolution during these centuries, with patterns and conventions flourishing and then declining, such as the sonata form. The most prominent, unifying feature throughout the period is a harmonic language to which music theorists can today apply Roman numeral chord analysis.
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.
Note de musiquevignette|Une croche la. En musique, une note est un symbole ou une lettre permettant de représenter un fragment de musique par une convention d'écriture de la hauteur et de la durée d'un son. Le symbole visuel d'une note de musique sur une partition est constitué : d'une « tête » qui indique la hauteur du son (sa fréquence en hertz), d'une « hampe » qui soutient les crochets et les barres de durée, d'une « durée », matérialisée par un ou des crochets ou par une ou plusieurs barres horizontales ou inclinées, qui indique sa longueur ou durée temporelle.
Modality (linguistics)In linguistics and philosophy, modality refers to the ways language can express various relationships to reality or truth. For instance, a modal expression may convey that something is likely, desirable, or permissible. Quintessential modal expressions include modal auxiliaries such as "could", "should", or "must"; modal adverbs such as "possibly" or "necessarily"; and modal adjectives such as "conceivable" or "probable".
Gamme musicalethumb|Gamme de do majeur |alt=Portée de musique montrant la clé de sol et la gamme de do majeur, composée des notes do ré mi fa sol la si do. En musique, une gamme (appelée aussi parfois « échelle ») est un ensemble de sons, appelés degrés, formant le cadre dans lequel se bâtit une œuvre musicale. Une échelle musicale est caractérisée par les intervalles conjoints qui la composent — c'est-à-dire, les intervalles entre degrés voisins —, et ce, indépendamment de toute idée de tonalité et de tonique.
Partition (musique)Une partition de musique est un document (en papier, en parchemin, ou en format électronique) qui porte la transcription d'une œuvre musicale. Cette transcription peut être faite avec plusieurs sortes de notations (notation neumatique, notation mesurée, notations plus modernes adaptées à la musique contemporaine, etc.) et sert à traduire les quatre caractéristiques du son musical : la hauteur ; la durée ; l'intensité ; le timbre.
Boisvignette|Bûche de chêne. vignette|L'ébéniste crée des meubles raffinés en recouvrant leur bois massif de marqueterie composées de bois précieux. (table attribuée à Pierre Gole, ). Le bois est un matériau naturel d'origine végétale. Il est constitué par un tissu végétal formant la plus grande partie du tronc des plantes ligneuses. Le bois assure, chez la plante, le rôle de conduction de la sève brute des racines jusqu’aux feuilles et le rôle de soutien mécanique de l'arbre ou de l'arbuste.
Hauteur (musique)En musique, la hauteur est l'une des caractéristiques essentielles d'un son ou note, les autres étant la durée, l'intensité, le timbre et l'expression. En musique occidentale, on désigne la hauteur par le nom d'une note sur une échelle ou gamme. La hauteur relative d'une note dans la gamme s'appelle degré. Le solfège écrit vers le haut de la portée les notes aiguës, et inversement, vers le bas, les graves.
Sommeilvignette|250px|Deux hommes endormis sur un banc. Le sommeil est un état récurrent de baisse de conscience (sans perte de la réception sensitive) du monde extérieur, accompagnée d'une diminution progressive du tonus musculaire, survenant à intervalles réguliers. L'alternance veille-sommeil correspond à l'un des cycles fondamentaux chez les animaux appartenant au rythme circadien. Chez l'être humain, le sommeil occupe près d'un tiers de la vie en moyenne.
Engineered woodEngineered wood, also called mass timber, composite wood, man-made wood, or manufactured board, includes a range of derivative wood products which are manufactured by binding or fixing the strands, particles, fibres, or veneers or boards of wood, together with adhesives, or other methods of fixation to form composite material. The panels vary in size but can range upwards of and in the case of cross-laminated timber (CLT) can be of any thickness from a few inches to or more.
Traitements conservateurs des boisLongtemps, les traitements conservateurs des bois n'ont pas fait appel à des produits chimiques (fongicides, algicides, ou insecticides). Les traitements conservateurs des bois sont aujourd'hui nombreux. Ils se font par application externe, imprégnation, chauffage Ce sont des traitements: physiques (séchage, rétification, traitement thermique) par des produits naturels (huile de lin, vernis de gomme-laque, cire d'abeille, colophane...) ou par des produits chimiques (pesticides à base de métaux lourds (cuivre, arsenic, chrome, plomb.
