Set-builder notationIn set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension. Set (mathematics)#Roster notation A set can be described directly by enumerating all of its elements between curly brackets, as in the following two examples: is the set containing the four numbers 3, 7, 15, and 31, and nothing else.
Algorithme de Cocke-Younger-KasamiEn informatique théorique et en théorie des langages, l'algorithme de Cocke-Younger-Kasami (CYK) est un algorithme d'analyse syntaxique pour les grammaires non contextuelles, publié par Itiroo Sakai en 1961. Il permet de déterminer si un mot est engendré par une grammaire, et si oui, d'en donner un arbre syntaxique. L'algorithme est nommé d'après les trois personnes qui l'ont redécouvert indépendamment, J. Cocke, dont l'article n'a jamais été publié, D. H. Younger et T. Kasami qui a publié un rapport interne aux US-AirForce.
Heuristique de disponibilitéEn psychologie, l'heuristique de disponibilité est un mode de raisonnement qui consiste à se baser uniquement ou principalement sur les informations immédiatement disponibles en mémoire, sans chercher à en acquérir de nouvelles concernant la situation. Cette heuristique du jugement peut engendrer des biais cognitifs, appelés biais de disponibilité. L'heuristique de disponibilité ne mène pas forcément à des conclusions biaisées. Il peut s'agir d'un mode de raisonnement efficace qui permet de résoudre un problème avec un effort cognitif minimal.
