Langage de programmation de haut niveauEn programmation informatique, un langage de programmation à haut niveau d'abstraction généralement appelé langage de haut niveau est un langage de programmation orienté autour du problème à résoudre, qui permet d'écrire des programmes en utilisant des mots usuels des langues naturelles (très souvent de l'anglais) et des symboles mathématiques familiers. Un langage de haut niveau fait abstraction des caractéristiques techniques du matériel utilisé pour exécuter le programme, tels que les registres et les drapeaux du processeur.
Sémantique dénotationnelleEn informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique axiomatique et la sémantique opérationnelle. Cette discipline a été introduite par Christopher Strachey et Dana Scott. En général, la sémantique dénotationnelle utilise des techniques de programmation fonctionnelle pour décrire les langages informatiques, les architectures et les programmes.
Abstraction lyriqueL'abstraction lyrique se réfère à deux mouvements distincts, bien que liés, de la peinture moderne d'après-guerre : L'abstraction lyrique européenne ainsi baptisée par le critique Jean José Marchand et le peintre Georges Mathieu en 1947, dont le courant initial et principal, le tachisme, a été défini à partir de 1951 par les critiques Pierre Guéguen, Charles Estienne et Michel Tapié, lequel inclura ces deux notions dans l'art informel en 1952. L'abstraction lyrique américaine, un mouvement décrit en 1969 par , fondateur de l' à Ridgefield Connecticut.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Grammaire formelleUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe).
Linguistique théoriqueLa linguistique théorique est la branche de la linguistique qui s'occupe de modéliser la connaissance linguistique. Cette approche implique la recherche et l'explication des universaux linguistiques, qui sont des propriétés que toutes les langues ont en commun. Les champs d'étude généralement considérés comme le noyau de la linguistique théorique sont la syntaxe, la phonologie, la morphologie et la sémantique. La phonologie est souvent confondue avec la phonétique, qui comme la psycholinguistique et la sociolinguistique, sont rarement considérées comme faisant partie de la linguistique théorique.
Production en sérievignette|Chaîne de production dans une usine Hyundai. La production en série est un mode de production caractérisé par une organisation telle que les produits passent linéairement de poste à poste jusqu'à prendre leur forme finale. La production en série permet d'assurer une augmentation des économies d'échelle par la spécialisation des postes de travail. Il est cependant possible de critiquer cette spécialisation qui entraîne une baisse de la flexibilité nuisible en cas de changement d'activité.
Théorie socialeSocial theories are analytical frameworks, or paradigms, that are used to study and interpret social phenomena. A tool used by social scientists, social theories relate to historical debates over the validity and reliability of different methodologies (e.g. positivism and antipositivism), the primacy of either structure or agency, as well as the relationship between contingency and necessity.
Art modernevignette|L'année 1863 est généralement considérée comme l'année de naissance de l'art moderne, marquée par l'exposition du tableau Le Déjeuner sur l'herbe d'Édouard Manet au Salon des refusés à Paris. L'art moderne comprend les productions artistiques d'une période s'étendant des années 1860 aux années 1950 et dénotant les styles et les philosophies artistiques de cette époque.
