Ensemble extentionnel
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Pour une énumération des fonctions partielles récursives

Soit \varphi une énumération des fonctions partielles récursives. Un ensemble E est dit extentionnel si, à partir du moment que E contient un indice d'une fonction f, il contient tous les indices de f.

Pour un langage de programmation (Un langage de programmation est un langage informatique, permettant à un être humain d'écrire un code source qui sera analysé par une machine, généralement un ordinateur. Le code source subit ensuite une...)

Un ensemble (En théorie des ensembles, un ensemble désigne intuitivement une collection d’objets (les éléments de l'ensemble), « une multitude...) E est dit extentionnel si, à partir du moment que E contient un programme \mathbf{p} il contient tous les programmes fonctionnellement égaux à \mathbf{p} (qui calculent la même fonction que \mathbf{p}).

Propriété logique (La logique (du grec logikê, dérivé de logos (λόγος), terme inventé par Xénocrate signifiant à...)

Un ensemble E est dit extentionnel s'il valide \forall x,y : x \in E \mbox{ et } \varphi_x=\varphi_y \Rightarrow y \in E.

Page générée en 0.030 seconde(s) - site hébergé chez Amen
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
Ce site est édité par Techno-Science.net - A propos - Informations légales
Partenaire: HD-Numérique