Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Application (informatique)Une application, un applicatif ou encore une appli, une app est, dans le domaine informatique, un programme (ou un ensemble logiciel) directement utilisé pour réaliser une tâche, ou un ensemble de tâches élémentaires d'un même domaine ou formant un tout. Typiquement, un éditeur de texte, un navigateur web, un lecteur multimédia, un jeu vidéo, sont des applications. Les applications s'exécutent en utilisant les services du système d'exploitation pour utiliser les ressources matérielles.
Abstract ImagistsAbstract Imagists is a term derived from a 1961 exhibition in the Guggenheim Museum, New York called American Abstract Expressionists and Imagists. This exhibition was the first in the series of programs for the investigation of tendencies in American and European painting and sculpture. It had been recognized that the paintings of Josef Albers, Barnett Newman, Mark Rothko, Adolph Gottlieb, Ad Reinhardt, Clyfford Still and Robert Motherwell were all very different yet the symbolic content was achieved "through dramatic statement of isolated and highly simplified elements.
Langage contextuelEn informatique théorique, et spécialement en théorie des langages, un langage contextuel (en anglais context-sensitive language) est un langage formel engendré par une grammaire contextuelle. C'est un langage de type 1 dans la hiérarchie de Chomsky. Les langages contextuels sont les langages reconnus par les automates linéairement bornés, c'est-à-dire les machines de Turing dont la mémoire de travail est linéairement bornée en fonction de la taille de l'entrée.
Grande puissancevignette|Les grandes puissances sont reconnues dans une structure internationale telle que le Conseil de sécurité des Nations unies. Le terme grande puissance est généralement attribué aux pays qui, au travers de leur économie, leur politique étrangère et leur force militaire, ont un rayonnement et une influence au niveau mondial. Les décisions prises par les grandes puissances ont souvent un impact sur les autres nations qui les prennent en compte pour leur propre politique, décisions militaires ou diplomatiques.
Qui a tué la voiture électrique ?Qui a tué la voiture électrique ? (Who Killed the Electric Car?) est un film américain réalisé par Chris Paine, sorti en 2006. Ce documentaire enquête sur la disparition des voitures électriques aux États-Unis après la commercialisation de la General Motors EV1 au milieu des années 1990. Titre : Qui a tué la voiture électrique ? Titre original : Who Killed the Electric Car? Réalisation : Chris Paine Scénario : Chris Paine Musique : Michael Brook Photographie : Thaddeus Wadleigh Montage : Michael Kovalenko et Chris A.
Moyenne puissanceUne moyenne puissance (ou puissance moyenne) est une expression utilisée dans le champ des relations internationales et de la géopolitique pour décrire des États n'étant pas des grandes puissances, mais ayant néanmoins une influence certaine au sein de la communauté internationale. Être un pays d’une puissance moyenne veut dire que ce pays tire avantage de son expertise diplomatique et de sa plus faible force militaire pour jouer un rôle de médiateur dans des conflits entre les grandes puissances mondiales.
Science formelleLes sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Les sciences formelles regroupent les mathématiques, la logique et l'informatique théorique. L'algèbre est la branche des mathématiques qui étudie les structures algébriques, indépendamment de la notion de limite (rattachée à l'analyse) et de la notion de représentation graphique (rattachée à la géométrie).
