Évaluation formativeLes concepts d’évaluation formative et sommative ont été apportés par Michael Scriven en 1967, dans le contexte de l’évaluation de programmes éducatifs (curriculum evaluation). Pour Scriven, une évaluation formative devait permettre à un établissement scolaire d’estimer la capacité de ses programmes scolaires à atteindre leurs objectifs, de façon à guider les choix de l’école pour les améliorer progressivement, au contraire d’une évaluation sommative qui cherche à poser un jugement final sur les programmes : « marchent-ils » ou pas ? Et en conséquence, faut-il les maintenir, les étendre ou les abandonner ? Benjamin Bloom reprend dans les années suivantes cette distinction pour l’appliquer au processus d’apprentissage, notamment dans son ouvrage Handbook on formative and summative evaluation of student learning.
Portabilité (informatique)La portabilité d'un programme informatique est sa capacité à pouvoir être adapté plus ou moins facilement en vue de fonctionner dans différents environnements d'exécution. Les différences peuvent porter sur l'environnement matériel (processeur) comme sur l'environnement logiciel (système d'exploitation). La différence d'environnement peut également porter sur une combinaison des deux éléments. C'est le cas par exemple dans les domaines de l'informatique embarquée, des super calculateurs et des machines virtuelles.
Vertu cardinaleUne vertu cardinale est une vertu qui joue un rôle charnière (l'adjectif « cardinal » vient du latin cardo qui signifie « charnière, pivot ») dans l'action humaine, notamment dans la doctrine morale chrétienne, et détermine les autres vertus. Les vertus cardinales sont au nombre de quatre, à savoir la prudence, la tempérance, la force et la justice. Connues et louées par les philosophes avant le christianisme, elles forment avec les trois vertus théologales de celui-ci les vertus catholiques.
CharitéLa charité est synonyme de justice dans le judaïsme, selon le commandement divin, et s'inscrit dans le principe de la tsedaka. Dans la théologie chrétienne, la charité se définit comme l'amour de l'homme envers son prochain en tant que créature de Dieu. La charité est en outre l'une des trois vertus théologales du christianisme, aux côtés de la foi et de l'espérance. Dans le langage ordinaire, la charité est une vertu qui porte à désirer et à faire le bien d'autrui.
Pascal (langage)Pascal est un langage de programmation impératif qui, conçu pour l'enseignement, se caractérise par une syntaxe claire, rigoureuse et facilitant la structuration des programmes. Le langage Pascal a été le premier langage de ce type (Impératif) largement répandu dans le monde, et ce, 2 ans avant le langage C. Le pascal (à partir de Borland Pascal 4 ou au delà) a les caractéristiques suivantes : Langage verbeux (anglais) Blocs d'instructions avec Begin et End Les mots clés, variables, fonctions et procédures sont insensibles à la casse.
Turbo PascalTurbo Pascal est un environnement de développement intégré pour le langage Pascal. Sa puissance et son prix « démocratique » ont fait son succès dans les années 1980 et 1990. Le compilateur était basé sur le compilateur Blue Label Pascal à l'origine écrit en 1981 par Anders Hejlsberg pour l'ordinateur Nascom avec le système d'exploitation à cassette NasSys. Il a été réécrit sous le nom de Compass Pascal pour le système d'exploitation CP/M, puis il a pris le nom de Poly Pascal (d'après la société Poly Data de Hejlsberg) avant d'être acheté par Borland et produit pour les systèmes DOS et CP/M.
Noyau (théorie des catégories)La théorie des catégories est une théorie unificatrice des Mathématiques. La notion de noyau est une notion centrale en algèbre. Ici, le concept de noyau est un concept général applicable à de nombreuses branches des mathématiques abstraites. Considérons dans une catégorie deux flèches et de même source et de même but . Une flèche de but est dite noyau ou égalisateur du couple si elle vérifie les deux propriétés suivantes : (1) On a uk=vk (2) Pour toute flèche telle que l'on ait , il existe une flèche unique telle que .
Translator (computing)A translator or programming language processor is a generic term that can refer to a compiler, assembler, or interpreter—anything that converts code from one computer language into another. These include translations between high-level and human-readable computer languages such as C++ and Java, intermediate-level languages such as Java bytecode, low-level languages such as the assembly language and machine code, and between similar levels of language on different computing platforms, as well as from any of these to any other of these.
