Circuit underutilizationCircuit underutilization also chip underutilization, programmable circuit underutilization, gate underutilization, logic block underutilization refers to a physical incomplete utility of semiconductor grade silicon on a standardized mass-produced circuit programmable chip, such as a gate array type ASIC, an FPGA, or a CPLD. In the example of a gate array, which may come in sizes of 5,000 or 10,000 gates, a design which utilizes even 5,001 gates would be required to use a 10,000 gate chip.
Structure de données persistanteEn informatique, une structure de données persistante est une structure de données qui préserve ses versions antérieures lorsqu'elle est modifiée ; une telle structure est immuable, car ses opérations ne la modifient pas en place (de manière visible) mais renvoient au contraire de nouvelles structures. Une structure est partiellement persistante si seule sa version la plus récente peut être modifiée, les autres n'étant accessibles qu'en lecture. La structure est dite totalement persistante si chacune de ses versions peut être lue ou modifiée.
Théorème de l'idéal premier dans une algèbre de BooleEn mathématiques, un théorème de l'idéal premier garantit l'existence de certains types de sous-ensembles dans une algèbre. Un exemple courant est le théorème de l'idéal premier dans une algèbre de Boole, qui énonce que tout idéal d'une algèbre de Boole est inclus dans un idéal premier. Une variante de cet énoncé pour filtres sur des ensembles est connue comme le théorème de l'ultrafiltre.
Ultrafiltrevignette|Le diagramme de Hasse montre l'ensemble de tous les sous-ensembles de {1,2,3,4}, partiellement ordonnés par inclusion d'ensemble (⊆). L'ensemble supérieur ↑{1,4} est surligné en vert foncé, c'est un filtre. Cependant, ce n'est pas un ultrafiltre, car il peut toujours être étendu au filtre correctement plus grand ↑{1}, représenté en vert clair. Ce dernier ne peut pas être étendu à son tour à un filtre non trivialement plus grand, il s'agit donc d'un ultrafiltre.
Industrie 4.0Le concept d’industrie 4.0 (aussi appelée industrie du futur ou quatrième révolution industrielle) correspond à une nouvelle façon d’organiser les moyens de production. Cette nouvelle industrie s'affirme comme la convergence du monde virtuel, de la conception numérique, de la gestion (opérations, finance et marketing) avec les produits et objets du monde réel. Les grandes promesses de cette quatrième révolution industrielle sont de séduire les consommateurs avec des produits uniques et personnalisés, et malgré de faibles volumes de fabrication, de maintenir des gains.
PrologProlog est un langage de programmation logique. Le nom Prolog est un acronyme de PROgrammation en LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972 à Luminy, Marseille. Le but était de créer un langage de programmation où seraient définies les règles logiques attendues d'une solution et de laisser le compilateur la transformer en séquence d'instructions. L'un des gains attendus était une facilité accrue de maintenance des applications, l'ajout ou la suppression de règles au cours du temps n'obligeant pas à réexaminer toutes les autres.
Idéal (théorie des ordres)En mathématiques, un idéal au sens de la théorie des ordres est un sous-ensemble particulier d'un ensemble ordonné. Bien qu'à l'origine ce terme soit issu de la notion algébrique d'idéal d'un anneau, il a été généralisé en une notion distincte. Les idéaux interviennent dans beaucoup de constructions en théorie des ordres, en particulier des treillis. Un idéal d'un ensemble ordonné (E, ≤) est une partie non vide I de E telle que : I est une section commençante, c'est-à-dire que tout minorant d'un élément de I appartient à I ; I est un ensemble ordonné filtrant, c'est-à-dire que deux éléments quelconques de I possèdent toujours un majorant commun dans I.
Filter (higher-order function)In functional programming, filter is a higher-order function that processes a data structure (usually a list) in some order to produce a new data structure containing exactly those elements of the original data structure for which a given predicate returns the boolean value true. In Haskell, the code example filter even [1..10] evaluates to the list 2, 4, ..., 10 by applying the predicate even to every element of the list of integers 1, 2, ...
Chaînage arrièreLe chaînage arrière ou raisonnement arrière est une méthode d'inférence qui peut être décrite (en termes profanes) comme une manière de travailler en remontant en arrière de l'objectif. Il est utilisé en intelligence artificielle, dans un système expert à base de règles ou encore dans un assistant de preuve. En théorie des jeux, son utilisation dans les sous-jeux pour trouver une solution au jeu est appelée raisonnement rétrograde.
Réflexion (informatique)En programmation informatique, la réflexion est la capacité d'un programme à examiner, et éventuellement à modifier, ses propres structures internes de haut niveau lors de son exécution. On appelle réflexivité le fait pour un langage de programmation de permettre l'écriture de tels programmes. Un tel langage de programmation est dit réflexif. On distingue deux techniques utilisées par les systèmes réflexifs : l'introspection, qui est la capacité d'un programme à examiner son propre état ; l'intercession, qui est la capacité d'un programme à modifier son propre état d'exécution ou d'altérer sa propre interprétation ou signification.
