Decision analysisDecision analysis (DA) is the discipline comprising the philosophy, methodology, and professional practice necessary to address important decisions in a formal manner. Decision analysis includes many procedures, methods, and tools for identifying, clearly representing, and formally assessing important aspects of a decision; for prescribing a recommended course of action by applying the maximum expected-utility axiom to a well-formed representation of the decision; and for translating the formal representation of a decision and its corresponding recommendation into insight for the decision maker, and other corporate and non-corporate stakeholders.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Convex preferencesIn economics, convex preferences are an individual's ordering of various outcomes, typically with regard to the amounts of various goods consumed, with the property that, roughly speaking, "averages are better than the extremes". The concept roughly corresponds to the concept of diminishing marginal utility without requiring utility functions. Comparable to the greater-than-or-equal-to ordering relation for real numbers, the notation below can be translated as: 'is at least as good as' (in preference satisfaction).
Distorsion cognitiveUne distorsion cognitive est un schéma de pensée exagéré ou irrationnel impliqué dans l'apparition et la perpétuation d'états psychopathologiques, en particulier ceux qui sont plus influencés par des facteurs psychosociaux, tels que la dépression et l'anxiété. Le psychiatre Aaron T. Beck, en approfondissant les travaux d'Albert Ellis et sa thérapie rationnelle émotive, a posé les bases de l'étude de ces distorsions et son élève David D. Burns a poursuivi ses recherches sur le sujet.
Piquet (punition)thumb|Le bon élève et le mauvais, gravure de 1828. Le mauvais élève est au piquet sur un tabouret et porte un bonnet d'âne. Le piquet était un châtiment militaire qui consistait à faire passer à l'individu puni deux heures debout, le pied posé sur un piquet. Par analogie, le piquet était une punition scolaire contraignant les enfants à se tenir debout et immobile, pendant un certain temps, dans un coin de la classe ou de la cour. Cette sanction est souvent appelé mettre au coin ou parfois désigné par l’anglicisme time-out.
