Magistère (diplôme)Le magistère est un diplôme universitaire français créé en 1985, préparé en trois ans après deux premières années d'études supérieures validées. Remplacé partiellement par le diplôme national de master (dont il peut constituer un parcours) au moment de la réforme LMD en 2002, il continue d'être proposé par de nombreuses institutions en double cursus - universités et écoles normale supérieures - sous la forme de cours de haut niveau complémentaires au cursus de troisième année de licence et de master.
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).
Equivalence (measure theory)In mathematics, and specifically in measure theory, equivalence is a notion of two measures being qualitatively similar. Specifically, the two measures agree on which events have measure zero. Let and be two measures on the measurable space and let and be the sets of -null sets and -null sets, respectively.
Analyse de contenuL’analyse de contenu est une des méthodologies qualitatives utilisées dans les sciences sociales et humaines. On retrouve par exemple des approches en analyse de contenu en sociologie, en communication, en linguistique, en psychologie. Une analyse de contenu consiste en un examen systématique et méthodique de documents textuels ou visuels. Dans une analyse de contenu le chercheur tente de minimiser les éventuels biais cognitifs et culturels en s’assurant de l’objectivité de sa recherche.
Algorithme de recherche de valeur propreUn problème important en analyse numérique consiste à développer des algorithmes efficaces et stables pour trouver les valeurs propres d'une matrice. Ces algorithmes de recherche de valeurs propres peuvent être étendus pour donner les vecteurs propres associés. Valeur propre, vecteur propre et espace propre Pour une matrice carrée A de taille n × n réelle ou complexe, une valeur propre λ et son vecteur propre généralisé associé v sont un couple vérifiant la relation où v est un vecteur colonne n × 1 non nul, I la matrice identité de taille n × n, k un entier positif.
Décomposition d'une matrice en éléments propresEn algèbre linéaire, la décomposition d'une matrice en éléments propres est la factorisation de la matrice en une forme canonique où les coefficients matriciels sont obtenus à partir des valeurs propres et des vecteurs propres. Un vecteur non nul v à N lignes est un vecteur propre d'une matrice carrée A à N lignes et N colonnes si et seulement si il existe un scalaire λ tel que : où λ est appelé valeur propre associée à v. Cette dernière équation est appelée « équation aux valeurs propres ».
Logical frameworkIn logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for (interactive) automated theorem proving. The first logical framework was Automath; however, the name of the idea comes from the more widely known Edinburgh Logical Framework, LF.
Théorie de l'acteur-réseauLa théorie de l'acteur-réseau, aussi connue sous l'abréviation ANT (pour Actor-Network Theory), sociologie de la traduction ou encore sociologie de l'acteur-réseau terme choisi par Michel Callon, est une approche sociologique développée à partir des années 1980 par Michel Callon, Bruno Latour, Madeleine Akrich et d'autres chercheurs du Centre de sociologie de l'innovation de Mines ParisTech. Son principal théoricien anglo-saxon est John Law, mais il faut citer aussi Arie Rip, Susan Leigh Star, Geoffrey Bowker.
Computable functionComputable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion of algorithms, in the sense that a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can return the corresponding output. Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
RécitUn récit (ou intrigue) est forme littéraire consistant en la mise dans un ordre arbitraire et spécifique des faits d’une histoire. Pour une même histoire, différents récits sont donc possibles. Un célèbre exemple est le mythe, dont la pièce dŒdipe roi constitue l’un des multiples récits possibles. Le récit s'oppose à l'histoire, qui est parfois définie comme la succession chronologique de faits se rapportant à un sujet donné.
