Cognition distribuéeLa cognition distribuée (CogD) est un domaine des sciences cognitives qui se propose d'analyser le processus de cognition comme résultant non seulement des interactions entre un ensemble d'individus, mais aussi dans leurs relations sociales et culturelles auxquelles se surajoute leurs rapports avec des artefacts (c'est-à-dire à des objets dans leur diversité : ustensiles, bâtiments, œuvres, etc.).
Cognitive skillCognitive skills, also called cognitive functions, cognitive abilities or cognitive capacities, are brain-based skills which are needed in acquisition of knowledge, manipulation of information and reasoning. They have more to do with the mechanisms of how people learn, remember, solve problems and pay attention, rather than with actual knowledge. Cognitive skills or functions encompass the domains of perception, attention, memory, learning, decision making, and language abilities.
Cognition socialeLa cognition sociale désigne l'ensemble des processus cognitifs (perception, mémorisation, raisonnement, émotions...) impliqués dans les interactions sociales chez l'humain mais aussi chez les autres animaux sociaux, en particulier les primates. Par les termes mêmes, la cognition sociale renvoie à l'approche cognitiviste en psychologie. Dans cette perspective, les objets sociaux font l'objet de représentations mentales de type schémas (c’est-à-dire des éléments caractéristiques, les attributs prototypiques et des exemplaires).
NeurodéveloppementLe neurodéveloppement (ou développement neural) désigne la mise en place du système nerveux au cours de l'embryogenèse et aux stades suivant de l'ontogenèse d'un organisme animal. Son étude repose sur une approche combinant neurosciences et biologie du développement afin d'en décrire les mécanismes moléculaires et cellulaires. La neurogenèse est le mécanisme central du neurodéveloppement.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Théorie des représentationsLa théorie des représentations est une branche des mathématiques qui étudie les structures algébriques abstraites en représentant leurs éléments comme des transformations linéaires d'espaces vectoriels, et qui étudie les modules sur ces structures algébriques abstraites. Essentiellement, une représentation concrétise un objet algébrique abstrait en décrivant ses éléments par des matrices et les opérations sur ces éléments en termes d'addition matricielle et de produit matriciel.
Représentation de groupeEn mathématiques, une représentation de groupe décrit un groupe en le faisant agir sur un espace vectoriel de manière linéaire. Autrement dit, on essaie de voir le groupe comme un groupe de matrices, d'où le terme représentation. On peut ainsi, à partir des propriétés relativement bien connues du groupe des automorphismes de l'espace vectoriel, arriver à déduire quelques propriétés du groupe. C'est l'un des concepts importants de la théorie des représentations.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Linguistique cognitiveEn linguistique et en sciences cognitives, la linguistique cognitive est un courant linguistique qui estime que la création, l'apprentissage et l'usage du langage trouvent leur meilleure explication par référence à la cognition humaine en général. D'un point de vue idéologique, ce courant de recherche s'inscrit en opposition avec la linguistique structuraliste. C'est le linguiste américain George Lakoff, ancien adepte de Chomsky, qui a favorisé le développement du courant de recherche de la « linguistique cognitive » au cours des années 1970-1980 aux États-Unis.
Représentation irréductibleEn mathématiques et plus précisément en théorie des représentations, une représentation irréductible est une représentation non nulle qui n'admet qu'elle-même et la représentation nulle comme sous-représentations. Le présent article traite des représentations d'un groupe. Le théorème de Maschke démontre que dans de nombreux cas, une représentation est somme directe de représentations irréductibles. Dans le cas des groupes finis, les informations liés aux représentations irréductibles sont encodées dans la table de caractères du groupe.
