Stratégie d'évaluation (informatique)Un langage de programmation utilise une stratégie d'évaluation pour déterminer « quand » évaluer les arguments à l'appel d'une fonction (ou encore, opération, méthode) et « comment » passer les arguments à la fonction. Par exemple, dans l'appel par valeur, les arguments doivent être évalués avant d'être passés à la fonction. La stratégie d'évaluation d'un langage de programmation est spécifiée par la définition du langage même. En pratique, la plupart des langages de programmation (Java, C...
Évaluation paresseuseL’évaluation paresseuse (), appelée aussi appel par nécessité ou évaluation retardée est une technique d'implémentation des programmes récursifs pour laquelle l'évaluation d'un paramètre de fonction ne se fait pas avant que les résultats de cette évaluation ne soient réellement nécessaires. Ces résultats, une fois calculés, sont préservés pour des réutilisations ultérieures. Dans un langage comme Haskell, l'évaluation est paresseuse par défaut.
Proposition (philosophie)Une proposition est en philosophie ce qui dans un énoncé est susceptible d'être conservé lors d'une traduction et de recevoir une valeur de vérité, c'est-à-dire d'être vrai ou faux. Un exemple courant pour désigner ce qu'est une proposition par rapport à un énoncé ou à une phrase est de comparer les deux énoncés ou phrases suivantes : « Il pleut. » « It's raining. » Ces deux énoncés ou phrases ont la même proposition, à savoir qu'il pleut. Un autre exemple courant dans le domaine est de comparer « La neige est blanche » et « Snow is white ».
Structure de donnéesEn informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement. Une structure de données est une mise en œuvre concrète d'un type abstrait. Pour prendre un exemple de la vie quotidienne, on peut présenter des numéros de téléphone par département, par nom, par profession (comme les Pages jaunes), par numéro téléphonique (comme les annuaires destinés au télémarketing), par rue et/ou une combinaison quelconque de ces classements.
EvaluationIn common usage, evaluation is a systematic determination and assessment of a subject's merit, worth and significance, using criteria governed by a set of standards. It can assist an organization, program, design, project or any other intervention or initiative to assess any aim, realisable concept/proposal, or any alternative, to help in decision-making; or to ascertain the degree of achievement or value in regard to the aim and objectives and results of any such action that has been completed.
Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
Template processorA template processor (also known as a template engine or template parser) is software designed to combine templates with a data model to produce result documents. The language that the templates are written in is known as a template language or templating language. For purposes of this article, a result document is any kind of formatted output, including documents, web pages, or source code (in source code generation), either in whole or in fragments.
Fonctionnement et organisation de l'entrepriseLes formes d'organisation (ou structure) d'une entreprise définissent la façon dont est découpé et coordonné le travail au sein d'une entreprise, et le mode de fonctionnement qui en découle. Cette organisation varie considérablement d'une entreprise à l'autre Les paramètres qui expliquent cette diversité sont eux-mêmes nombreux et leurs combinaisons multiples justifient les innombrables variantes pratiquées par les organisations : Paramètres externes = secteur d'activité et métier, clientèle(s), technologies, filière technico-économique, situation concurrentielle, taille et maturité.
Générateur de site statiqueUn générateur de site statique, souvent abrégé SSG (Static Site Generator) est un programme informatique permettant de réaliser des sites web statiques. Les premiers sites web sont statiques avant que ne se popularisent les sites web dynamiques, générés par des CMS. Ces générateurs de sites dynamiques sont plus simples à utiliser que les éditeurs de texte avec lesquels les sites web statiques étaient générés et par conséquent beaucoup de sites sont dynamiques en raison de la facilité à les produire et non en raison d'un réel besoin de fonctions dynamiques.
Formule propositionnelleEn logique mathématique une proposition, ou formule propositionnelle, ou expression propositionnelle est une expression construite à partir de connecteurs et de variables propositionnelles. En logique propositionnelle classique, une formule propositionnelle, ou expression propositionnelle, est une formule bien formée qui possède une valeur de vérité. Si les valeurs de toutes les variables propositionnelles dans une formule propositionnelle sont données, une unique valeur de vérité peut être déterminée.
Variable propositionnelleUne variable est représentée par un symbole qui définit une quantité qui peut prendre n'importe quelle valeur dans un ensemble de valeurs. En logique mathématique, une variable propositionnelle est un symbole qui désigne une proposition dans le calcul propositionnel, c'est une variable qui peut être remplacée par une proposition vraie ou fausse ou par une formule qui est elle-même composée de variables propositionnelles et donc qui peut prendre parfois la valeur vraie et parfois la valeur faux.
Tribunalvignette|La Cour européenne des droits de l'homme. vignette|Palais de justice de Paris. vignette|Cour suprême des Pays-Bas. vignette|Le Tribunal militaire de Nuremberg en 1945. vignette|Phoronée, personnage de la mythologie grecque, vu comme inventeur du tribunal. Le tribunal ou cour est un lieu où est rendue la justice. C'est là que les personnes en conflit viennent chercher la justice et où celles qui n'ont pas respecté la loi sont jugées. Plus précisément, un tribunal n'est pas obligatoirement un service public de l'État.
Cour d'appelvignette|Cour d'appel de Helsinki. Ancien siège de Alko Cour d'appel peut faire référence à : Cour fédérale en Allemagne ; Cour d'appel en Belgique ; Cour d'appel de Turku, la plus vieille cour d'appel de Finlande ; Cour d'appel en France. Voir aussi Cour administrative d'appel ; Liste et ressorts des cours d'appels françaises ; Cour d'appel d'Angleterre et du pays de Galles ; Cour d'appel en Italie ; Cour d'appel à Monaco ; Cour d'appel en Norvège ; Cour d'appel en Suède ; Tribunal fédéral en Suisse. Cour
Bayesian probabilityBayesian probability (ˈbeɪziən or ˈbeɪʒən ) is an interpretation of the concept of probability, in which, instead of frequency or propensity of some phenomenon, probability is interpreted as reasonable expectation representing a state of knowledge or as quantification of a personal belief. The Bayesian interpretation of probability can be seen as an extension of propositional logic that enables reasoning with hypotheses; that is, with propositions whose truth or falsity is unknown.
Cas grammaticalEn linguistique, le cas est au sens large un trait grammatical principalement associé au nom, au pronom, à l'adjectif et au déterminant, et exprimant leur fonction syntaxique dans la proposition, ou leur rôle sémantique en rapport avec le procès exprimé par le verbe. Par exemple, l’accusatif est le cas du complément d'objet direct (fonction syntaxique) ; l’ est le cas indiquant le lieu de l’intérieur duquel on sort (rôle sémantique).
Cour suprêmeUne cour suprême est le nom porté dans certains pays par la juridiction la plus élevée (compétence nationale). Dans certains cas, la Cour suprême d'un pays cumule les rôles de : veillant notamment à la conformité des lois avec la constitution du pays ; cour administrative, sur les actes réglementaires du gouvernement (contrôle juridictionnel) ; tribunal de dernière instance pour les affaires de l' ; tribunal de dernière instance pour les affaires de l' tribunal unique pour certains actes (délais de procédure en France.
Mission d'évaluation des politiques publiquesLa Mission d'évaluation des politiques publiques (MEPP) est un service rattaché à la Direction générale de la modernisation de l'État, placé sous l'autorité fonctionnelle du cabinet du Ministère du Budget, des Comptes publics, de la Fonction publique et de la Réforme de l'État et chargé de piloter les structures d'évaluation interne de l'administration. La Mission d’évaluation des politiques publiques doit supporter à l’échelle interministérielle la gouvernance de l'évaluation et la coordination des Comités ministériels d’évaluation (CME).
Attitude propositionnelleUne attitude propositionnelle est la manière dont un sujet se comporte par rapport à une proposition. Les attitudes propositionnelles les plus courantes sont croire que p, dire que p, penser que p, désirer que p... où p est la proposition qui est crue, dite, pensée ou désirée. Les attitudes propositionnelles sont un sujet d'étude de la philosophie de la logique depuis la création avec Frege et Russell de la logique mathématique. Celle-ci obéit à une règle qui est le principe de substitution.
Réseau bayésienEn informatique et en statistique, un réseau bayésien est un modèle graphique probabiliste représentant un ensemble de variables aléatoires sous la forme d'un graphe orienté acyclique. Intuitivement, un réseau bayésien est à la fois : un modèle de représentation des connaissances ; une « machine à calculer » des probabilités conditionnelles une base pour des systèmes d'aide à la décision Pour un domaine donné (par exemple médical), on décrit les relations causales entre variables d'intérêt par un graphe.
Short-circuit evaluationShort-circuit evaluation, minimal evaluation, or McCarthy evaluation (after John McCarthy) is the semantics of some Boolean operators in some programming languages in which the second argument is executed or evaluated only if the first argument does not suffice to determine the value of the expression: when the first argument of the AND function evaluates to false, the overall value must be false; and when the first argument of the OR function evaluates to true, the overall value must be true.
