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.
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.
Apprentissage hybridevignette|Illustration de l'apprentissage hybride qui consiste à combiner les séquences de formation en ligne L'apprentissage hybride ou mixte (en anglais « en ») est une formule pédagogique qui résulte d’une combinaison de séquences de formation en ligne (e-learning) et de formation en présentiel. Elle offre certains avantages comme un espace de travail plus collaboratif pour les apprenants. L’utilisation des technologies de l’information et de la communication donne l’opportunité à l’apprenant d’avoir, dans une certaine mesure, un contrôle sur le temps, le lieu, les moyens et la vitesse.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
CollaborationLa collaboration est l'acte de travailler ou de réfléchir ensemble pour atteindre un objectif. Dans son sens commun, la collaboration est un processus par lequel deux ou plusieurs personnes ou organisations s’associent pour effectuer un travail intellectuel suivant des objectifs communs. Des méthodes structurées de collaboration encouragent l'introspection de comportements et communication. Ces méthodes ont pour objectif spécifique l'augmentation du taux de réussite des équipes quand elles se livrent à la résolution de problèmes en collaboration.
ÉtudiantUn étudiant ou une étudiante est un mot dérivé du latin studere qui signifie « s'appliquer à apprendre quelque chose ». Cependant, le terme ne s'applique pas à toute personne qui apprend. On le réserve généralement aux personnes intégrées dans un parcours scolaire ou universitaire. Dans la plupart des pays francophones, l'usage du mot « étudiant » est encore plus restreint. Le plus couramment, il désigne les personnes engagées dans un cursus d'enseignement supérieur.
Reconnaissance gestuelleGesture recognition is a topic in computer science and language technology with the goal of interpreting human gestures via mathematical algorithms. It is a subdiscipline of computer vision. Gestures can originate from any bodily motion or state, but commonly originate from the face or hand. Focuses in the field include emotion recognition from face and hand gesture recognition since they are all expressions. Users can make simple gestures to control or interact with devices without physically touching them.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Écolethumb|Reconstitution partielle d'une école primaire des années 1930 en Allemagne. Une école est un établissement où l'on accueille des individus appelés « écoliers » ou élèves afin que des professeurs leur dispensent un enseignement de façon collective. Le mot école vient du latin schola, signifiant « loisir consacré à l'étude », lui-même provenant du grec ancien , scholè (« le loisir »), lequel constituait un idéal souvent exprimé par les philosophes et une catégorie socialement valorisée opposée à la sphère des tâches productives.
Trouble d'apprentissageLe trouble des apprentissages, ou trouble d'apprentissage est un dysfonctionnement dans le processus d'acquisition des connaissances. Il peut être d'origine psychologique, cognitif, voire psychomoteur. Il est spécifique à la fonction cognitive touchée : il y a donc des troubles d'apprentissage reliés au langage, à l'attention, mais aussi à des compétences spécifiques comme la lecture, l'orthographe, l'arithmétique La classification actuelle le place parmi les troubles neurodéveloppementaux.
