Arbre splayUn arbre splay (ou arbre évasé) est un arbre binaire de recherche auto-équilibré possédant en outre la propriété que les éléments auxquels on a récemment accédé (pour les ajouter, les regarder ou les supprimer) sont rapidement accessibles. Ils disposent ainsi d'une complexité amortie en O(log n) pour les opérations courantes comme insertion, recherche ou suppression. Ainsi dans le cas où les opérations possèdent une certaine structure, ces arbres constituent des bases de données ayant de bonnes performances, et ceci reste vrai même si cette structure est a priori inconnue.
Programmation par contratLa programmation par contrat (en anglais, design by contract ou DBC) est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles. Ces règles, appelées des assertions, forment un contrat qui précise les responsabilités entre le client et le fournisseur d'un morceau de code logiciel. C'est une méthode de programmation semi-formelle dont le but principal est de réduire le nombre de bugs dans les programmes.
Arbre BEn informatique, un arbre B (appelé aussi B-arbre par analogie au terme anglais « B-tree ») est une structure de données en arbre équilibré. Les arbres B sont principalement mis en œuvre dans les mécanismes de gestion de bases de données et de systèmes de fichiers. Ils stockent les données sous une forme triée et permettent une exécution des opérations d'insertion et de suppression en temps toujours logarithmique. Le principe est de permettre aux nœuds parents de posséder plus de deux nœuds enfants : c'est une généralisation de l’arbre binaire de recherche.
Type récursifEn programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive. Cela permet entre autres des structures de données qui contiennent des sous‐structures du même type. Cette notion s'applique naturellement dans l'étude des listes et des arbres. Type algébrique de données Les types algébriques sont de loin la forme la plus courante de types récursifs. Un exemple classique est le type liste.
Charge de la preuve (droit)vignette|La balance de justice Cet article présente la notion juridique de charge de la preuve (aussi nommée fardeau de la preuve) en fonction des pays et des branches du droit. Généralement, en droit civil, chaque partie doit apporter des éléments de preuve pour établir les faits et en déduire le droit. En droit pénal, il s'agit des faits prouvant la culpabilité de l'accusé. La charge de la preuve revient à répondre à la question : « qui doit prouver quoi ».
Algorithmethumb|Algorithme de découpe d'un polygone quelconque en triangles (triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes. Le domaine qui étudie les algorithmes est appelé l'algorithmique. On retrouve aujourd'hui des algorithmes dans de nombreuses applications telles que le fonctionnement des ordinateurs, la cryptographie, le routage d'informations, la planification et l'utilisation optimale des ressources, le , le traitement de textes, la bio-informatique L' algorithme peut être mis en forme de façon graphique dans un algorigramme ou organigramme de programmation.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Recursive descent parserIn computer science, a recursive descent parser is a kind of top-down parser built from a set of mutually recursive procedures (or a non-recursive equivalent) where each such procedure implements one of the nonterminals of the grammar. Thus the structure of the resulting program closely mirrors that of the grammar it recognizes. A predictive parser is a recursive descent parser that does not require backtracking.
Théorie des contratsEn économie, la théorie des contrats étudie les relations d'échange entre des agents économiques, en tenant compte des contraintes institutionnelles et informationnelles qui s'imposent à eux. En raison de ses liens avec les théories de l'agence et des incitations, la théorie des contrats est souvent classée à l'intérieur d'un domaine connu comme l'analyse économique du droit. Elle est également classable dans le domaine de l'économie publique.
Contrat à termeUn contrat à terme (en anglais : futures) est un engagement ferme de livraison d'un actif sous-jacent à une date future (appelée échéance ou maturité) à des conditions définies à l'avance. Contrairement au forward, le contrat à terme est standardisé pour être négocié sur un marché à terme organisé. Les contrats à terme sont les instruments financiers les plus traités au monde. Premiers, par leur volume des produits dérivés, les contrats à terme constituent une standardisation par rapport aux contrats à terme dits forwards, instrument de gré à gré, qui sont leur ancêtre direct.
