Relation bien fondéeEn mathématiques, une relation bien fondée (encore appelée relation noethérienne ou relation artinienne) est une relation binaire vérifiant l'une des deux conditions suivantes, équivalentes d'après l'axiome du choix dépendant (une version faible de l'axiome du choix) : pour toute partie non vide X de E, il existe un élément x de X n'ayant aucun R-antécédent dans X (un R-antécédent de x dans X est un élément y de X vérifiant yRx) ; condition de chaîne descendante : il n'existe pas de suite infinie (xn) d'élém
Constructivisme (mathématiques)En philosophie des mathématiques, le constructivisme est une position vis-à-vis des mathématiques qui considère que l'on ne peut effectivement démontrer l'existence d'objets mathématiques qu'en donnant une construction de ceux-ci, une suite d'opérations mentales qui conduit à l'évidence de l'existence de ces objets. En particulier, les constructivistes ne considèrent pas que le raisonnement par l'absurde est universellement valide, une preuve d'existence par l'absurde (c-à-d une preuve où la non-existence entraîne une contradiction) ne conduisant pas en soi à une construction de l'objet.
SynthétiseurUn synthétiseur (ou familièrement synthé, par apocope) est un instrument de musique électronique capable de créer et de moduler des sons sous forme de signal électrique. Il peut être utilisé pour imiter, avec plus ou moins de réalisme, des instruments de musique traditionnels, des bruits naturels ou encore pour créer des sonorités complètement originales. Les sonorités varient en fonction de la technique de synthèse sonore utilisée (tables d'ondes, échantillons, synthèse additive, synthèse soustractive, modulation de fréquence, modélisation physique, modulation de phase, synthèse granulaire).
Programmation (musique)Programming is a form of music production and performance using electronic devices and computer software, such as sequencers and workstations or hardware synthesizers, sampler and sequencers, to generate sounds of musical instruments. These musical sounds are created through the use of music coding languages. There are many music coding languages of varying complexity. Music programming is also frequently used in modern pop and rock music from various regions of the world, and sometimes in jazz and contemporary classical music.
Production (économie)En économie, la production est la « quantité de biens ou de services produite dans une période de temps donnée, par une entreprise, une industrie ou un pays », qu'ils soient consommés (biens et services finaux) ou utilisés dans le processus de production (consommations intermédiaires). Le principal agrégat utilisé pour mesurer la production est appelé produit intérieur brut (PIB), la somme des valeurs ajoutées brutes calculées au prix de marché, sur une période (en général un an) et un territoire (en général un pays) donnés.
Answer set programmingL’answer set programming (ASP) est une forme de programmation déclarative adaptée aux problèmes de recherche combinatoires (par exemple, sudoku et coloration de graphes). Dans le contexte de la programmation logique, cette approche distingue deux types de négation — la négation par manque d'information, dite négation par défaut, et la négation forte ou négation logique. La négation par défaut permet de raisonner en l'absence d'information et rend l'ASP non monotone.
Synthèse par modélisation physiqueLa synthèse par modélisation physique consiste à produire des sons à partir d'un modèle informatique décrivant les propriétés physiques d'objets virtuels. Un processus de simulation numérique est utilisé pour calculer les mouvements et oscillations de ces objets lorsqu'ils sont mis en mouvement (ou excités), qui donnent naissance au son synthétisé. Les techniques de synthèse "classiques" (synthèse additive, soustractive, granulaire, etc.
