Architecture logicielleL’architecture logicielle décrit d’une manière symbolique et schématique les différents éléments d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse fonctionnelle, le modèle d'architecture, produit lors de la phase de conception, ne décrit pas ce que doit réaliser un système informatique mais plutôt comment il doit être conçu de manière à répondre aux spécifications. L’analyse décrit le « quoi faire » alors que l’architecture décrit le « comment le faire ».
Économie planifiéeLa « planification impérative de l'économie » est dirigée, généralement à l’échelle d’un État, au moyen d’un plan fixant les objectifs de production sur une période annuelle ou pluriannuelle. Autrement dit, elle désigne un mode d'organisation fondé sur la propriété collective ou étatique des entreprises qui se voient imposer des objectifs de production par un plan centralisé. Elle peut être démocratique ou non, selon les différents pays qui l'ont appliquée.
CommunautéUne communauté est un groupe humain dont les membres sont unis par un lien social. En biologie une communauté représente un système au sein duquel des organismes vivants partagent un environnement commun et interagissent. La notion de communauté est également un concept du droit qui désigne un groupe de personnes possédant et jouissant de façon indivise d'un patrimoine en commun. En France, s'oppose traditionnellement à celui de société et d'association qui reposent sur un pacte ou une convention volontairement formée par ses membres.
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).
Économie du savoirL'économie du savoir, l'économie de la connaissance, l'économie de l'immatériel ou encore le capitalisme cognitif, est, selon certains économistes, une nouvelle phase de l'histoire économique qui aurait commencé dans les années 1990. Le concept est établi par Fritz Machlup en 1962 par la publication de son livre The production and distribution of knowledge in the United States ; sa thèse de 1977 montre que près de 45 % des employés aux États-Unis manipulent de l'information.
Groupe algébriqueEn géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d'une loi de groupe compatible avec sa structure de variété algébrique. Un groupe algébrique sur un corps (commutatif) K est une variété algébrique sur munie : d'un morphisme de K-variétés algébriques (appelé aussi multiplication) .
Économie (activité humaine)alt=Vue de Manhattan depuis l'Océan.|vignette|317x317px|Manhattan, le quartier des affaires de New York. Un espace à l'activité économique florissante. L'économie (du grec ancien / oikonomía : « administration d'un foyer ») est une activité humaine qui consiste en la production, la distribution, l'échange et la consommation de biens et de services. On distingue différents systèmes d'échange parmi lesquelles l'économie de don, l'économie de marché ou encore l'économie du troc.
Groupe classiqueEn mathématiques, les groupes classiques sont différentes familles de groupes de transformations liées à l'algèbre linéaire, principalement les groupes linéaires, orthogonaux, symplectiques et unitaires. Ces groupes peuvent aussi être présentés comme groupes de matrices inversibles, et des quotients de ceux-ci. Les groupes matrices carrées d'ordre n (GL(n, R)), GL(n, C)), le groupe des matrices orthogonales d'ordre n (O(n)) et le groupe des matrices unitaires d'ordre n (U(n)) sont des exemples explicites de groupes classiques.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Planètethumb|Les huit planètes connues du Système solaire : 1. Mercure ;2. Vénus ;3. Terre ;4. Mars ;5. Jupiter ;6. Saturne ;7. Uranus ;8. Neptune.Leurs tailles respectives et celle du Soleil (en haut du schéma) sont respectées, mais pas les distances ni les luminosités. Une planète est un corps céleste orbitant autour du Soleil ou d'une autre étoile, possédant une masse suffisante pour que sa gravité la maintienne en équilibre hydrostatique, c'est-à-dire sous une forme presque sphérique, et ayant « nettoyé le voisinage de son orbite », c'est-à-dire éliminé tout objet de taille comparable se déplaçant sur son orbite ou sur une orbite proche.
AnalysisAnalysis (: analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (384–322 B.C.), though analysis as a formal concept is a relatively recent development. The word comes from the Ancient Greek ἀνάλυσις (analysis, "a breaking-up" or "an untying;" from ana- "up, throughout" and lysis "a loosening"). From it also comes the word's plural, analyses.
Groupe de type de LieEn mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d'un groupe algébrique linéaire réductif G à valeur dans le corps commutatif k. La classification des groupes simples finis montre que les groupes de types de Lie finis forment l'essentiel des groupes finis simples. Des cas particuliers incluent les groupes classiques, les groupes de Chevalley, les groupes de Steinberg et les groupes de Suzuki-Ree.
