Grammaire non contextuelleEn linguistique et en informatique théorique, une grammaire algébrique, ou grammaire non contextuelle, aussi appelée grammaire hors-contexte ou grammaire « context-free » est une grammaire formelle dans laquelle chaque règle de production est de la forme où est un symbole non terminal et est une chaîne composée de terminaux et/ou de non-terminaux. Le terme « non contextuel » provient du fait qu'un non terminal peut être remplacé par , sans tenir compte du contexte où il apparaît.
Programme informatiqueUn programme informatique est un ensemble d'instructions et d’opérations destinées à être exécutées par un ordinateur. Un programme source est un code écrit par un informaticien dans un langage de programmation. Il peut être compilé vers une forme binaire ou directement interprété. Un programme binaire décrit les instructions à exécuter par un microprocesseur sous forme numérique. Ces instructions définissent un langage machine.
Pratique fondée sur les preuvesLa pratique fondée sur les preuves, sur les faits, ou sur des données probantes est une approche interdisciplinaire de la pratique clinique qui a gagné du terrain après son apparition au début des années 1990 par l'intermédiaire du médecin canadien Gordon Guyatt. En 1992, une publication indique : . Elle a commencé en médecine comme médecine factuelle (EBM) et se propage aux professions paramédicales de la santé, domaines éducatifs et autres.
Overjustification effectThe overjustification effect occurs when an expected external incentive such as money or prizes decreases a person's intrinsic motivation to perform a task. Overjustification is an explanation for the phenomenon known as motivational "crowding out". The overall effect of offering a reward for a previously unrewarded activity is a shift to extrinsic motivation and the undermining of pre-existing intrinsic motivation.
DonnéeUne donnée est ce qui est connu et qui sert de point de départ à un raisonnement ayant pour objet la détermination d'une solution à un problème en relation avec cette donnée. Cela peut être une description élémentaire qui vise à objectiver une réalité, le résultat d'une comparaison entre deux événements du même ordre (mesure) soit en d'autres termes une observation ou une mesure. La donnée brute est dépourvue de tout raisonnement, supposition, constatation, probabilité.
AutocritiqueUne autocritique se réfère à une critique personnelle impliquant croyances, pensées, actions ou résultats. Cela peut survenir lors d'une réflexion ou en discussion de groupe. On la retrouve dans des débats philosophiques ou des méditations, mais aussi dans des procès ou lors d'excuses publiques. Le terme de critique provient du grec kritikē (κριτική), signifiant « (l'art de) discerner ». Avoir un rapport critique à soi-même, c'est être capable de discerner et de reconnaître ses propres limites.
Théorie de l'autodéterminationLa théorie de l'autodétermination (acronyme TAD en français ou SDT anglais) est une macro-théorie de la motivation humaine et de la personnalité, qui concerne les tendances inhérentes au développement et les besoins psychologiques innés des êtres humains. Elle traite de la motivation agissant derrière les choix que les êtres humains font sans aucune influence ou interférence externe. La TAD définit le degré d'auto-motivation et d'auto-détermination d'un comportement.
ConfidenceConfidence is the state of being clear-headed: either that a hypothesis or prediction is correct, or that a chosen course of action is the best or most effective. Confidence comes from the Latin word fidere which means "to trust". In contrast, arrogance or hubris is a state of unmerited confidence—belief lacking evidence and/or a reason. Overconfidence or presumptuousness is excessive belief in success without regard for potential failure.
Cognitive evaluation theoryCognitive evaluation theory (CET) is a theory in psychology that is designed to explain the effects of external consequences on internal motivation. Specifically, CET is a sub-theory of self-determination theory that focuses on competence and autonomy while examining how intrinsic motivation is affected by external forces in a process known as motivational "crowding out.
Value (computer science)In computer science and software programming, a value is the representation of some entity that can be manipulated by a program. The members of a type are the values of that type. The "value of a variable" is given by the corresponding mapping in the environment. In languages with assignable variables, it becomes necessary to distinguish between the r-value (or contents) and the l-value (or location) of a variable. In declarative (high-level) languages, values have to be referentially transparent.
