Problème de décisionEn informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ». Les logiciens s'y sont intéressés à cause de l'existence ou de la non-existence d'un algorithme répondant à la question posée. Les problèmes de décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l'arrêt, le problème de correspondance de Post ou le dernier théorème de Fermat.
Problème SATvignette|Une instance du Sudoku peut être transformée en une formule de logique propositionnelle à satisfaire. Une assignation des variables propositionnelles donne une grille complétée. En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. Ce problème est important en théorie de la complexité.
Tâche (informatique)En informatique, une tâche est une unité d’exécution dite aussi unité de travail. Il s'agit d'un terme global qui peut être précisé par une dénomination plus spécifique tel que le processus, le processus léger, le fil d'exécution et le mécanise de . Dans le diagramme adjacent, on trouve un exemple de tâche ou une file d'attente de travaux à effectuer (task queue) est rangée en entrée d'un groupement de fils d’exécution (thread pool) afin d'être traités puis stockés en sortie dans une file de travaux terminés (completed tasks).
Problème du sac à dosEn algorithmique, le problème du sac à dos, parfois noté (KP) (de l'anglais Knapsack Problem) est un problème d'optimisation combinatoire. Ce problème classique en informatique et en mathématiques modélise une situation analogue au remplissage d'un sac à dos. Il consiste à trouver la combinaison d'éléments la plus précieuse à inclure dans un sac à dos, étant donné un ensemble d'éléments décrits par leurs poids et valeurs.
Indentation (matériau)L'indentation est une technique de mesure de propriétés mécanique des matériaux. Si la force et la pénétration ne sont pas enregistrées au cours de l'essai, elle ne permet que de mesurer la dureté d'un matériau. Si elles sont enregistrées et contrôlées, on parle d'indentation instrumentée. L'indentation non-instrumentée consiste à appliquer une charge, dans des conditions déterminées, à la surface du matériau, à l'aide d'un indenteur ou pénétrateur. Après l'essai, le matériau s'étant déformé, on observe une empreinte que l'on peut mesurer.
Postcolonial literaturePostcolonial literature is the literature by people from formerly colonized countries, originating from all continents except Antarctica. Postcolonial literature often addresses the problems and consequences of the decolonization of a country, especially questions relating to the political and cultural independence of formerly subjugated people, and themes such as racialism and colonialism. A range of literary theory has evolved around the subject.
Nombre de LiouvilleEn mathématiques, et plus précisément en théorie des nombres, un nombre de Liouville est un nombre réel x ayant la propriété suivante :pour tout entier n, il existe des entiers q > 1 et p tels que 0 < |x – p/q| < 1/q ou, ce qui est équivalent : pour tout entier n et tout réel , il existe des entiers q > 0 et p tels que 0 < |x – p/q| < A/q. Un nombre de Liouville peut ainsi être approché « de manière très fine » par une suite de nombres rationnels.
Musique classiquethumb|250px|Une vingtaine de compositeurs de musique classique, parmi les plus importants couvrant la période du .(De gauche à droite, de haut en bas : — Antonio Vivaldi, Jean-Sébastien Bach, Georg Friedrich Haendel, Wolfgang Amadeus Mozart, Ludwig van Beethoven — Gioachino Rossini, Felix Mendelssohn, Frédéric Chopin, Richard Wagner, Giuseppe Verdi — Johann Strauss II, Johannes Brahms, Georges Bizet, Piotr Ilitch Tchaïkovski, Antonín Dvořák — Edvard Grieg, Edward Elgar, Sergueï Rachmaninov, George Gershwin, Aram Khatchatourian.
Musique de la période classiqueLa musique de la période classique recouvre par convention la musique écrite entre la mort de Johann Sebastian Bach soit 1750 et le début de la période romantique, soit les années 1820. Par extension, on appelle « musique classique » (ou grande musique) toute la musique savante européenne, de la musique du Moyen Âge à la musique contemporaine.
Interruption (informatique)En informatique, une interruption est une suspension temporaire de l'exécution d'un programme informatique par le microprocesseur afin d'exécuter un programme prioritaire (appelé service d'interruption). avancement d'une horloge, signalisation de la complétion d'un transfert de données, positionnement d'une tête de lecture/écriture Cependant, on l'utilise aussi pour désigner des exceptions, c'est-à-dire des arrêts provoqués par une condition exceptionnelle dans le programme (instruction erronée, accès à une zone mémoire inexistante, calcul arithmétique incorrect, appel volontaire au système d'exploitation).
