«ÉNUMÉRABLE»に関連するフランス語の本
以下の図書目録から
énumérableの使いかたを見つけましょう。
énumérableに関する本とフランス語文献で使われた文脈を提供するための簡単な抜粋文。
1
Bien développer pour le Web 2.0: Bonnes pratiques Ajax - ...
PREMIÈRE PARTIE Pour simplifier, un énumérable est une séquence d'
éléments, sur laquelle il est possible d'itérer du premier élément jusqu'au dernier.
Une injection sur un énumérable consiste à définir une valeur, dite accumulateur,
avec ...
Christophe Porteneuve, 2011
2
"Les Chats" de Baudelaire: une confrontation de méthodes
Pour satisfaire à cette exigence, la procédure de mise en valeur devrait être
aussi exacte que les procédures de définition appliquées aux relations d'
équivalence (58); ces procédures supposeraient : 1. le caractère énumérable (59
) de ...
Maurice Delcroix, Walter Geerts, 1980
3
Intuition et intuitionisme
Ceux-ci satisfont-ils la propriété qu'il mentionne (que toute partie d'un ensemble
effectivement énumérable n'est pas nécessairement effectivement énumérable2)
? Il semble que oui, on le 1. Borel 1928, p. 162, note 1. Cette attitude critique est
...
Un tel ensemble, comme l'ensemble des théorèmes du calcul des prédicats, sera
dit « semi-récursif » ou « récur- sivement énumérable ». On peut montrer en effet
qu'il existe alors pourtant un algorithme, une machine de Turing, une fonction ...
Gilles Gaston Granger, 1992
5
Aventure des nombres (L')
En effet, si R est récursif, il est clairement récursivement énumérable ; et (N\R) est
également récursivement énumérable à l'aide du programme T* qui répond « oui
» quand T dit « non » et « non » quand T dit « oui ». Inversement, si R = E(T) ...
C'est la deuxième classe de nombres de Cantor dans laquelle on retrouve aussi
les «ordinaux constructifs» de Kleene et Church; cette classe est, en effet,
dénombrable et récursivement énumérable au sens de la théorie des ensembles
à ...
7
Leçons sur les fonctions calculables
Exemple d'un ensemble récursivement énumérable mais non général récursif*.
Prenons une fonction partielle récursive quelconque /, dont le domaine de
définition Df n'est pas général récursif. L'existence d'une telle fonction a été
démontrée ...
Vladimir Andreevich Uspenskiĭ, 1966
Réciproquement soit A récursivement
énumérable et B = A x N. Alors B C N2 est
récursivement
énumérable. Donc il existe ju G */^2) tel que pour tout x, tout y G N,
(x , y) Gfi si et seulement si /i(x , y) & u. Comme <p est universelle d'après la ...
Jean Pierre Azra, Bernard Jauli, 1973
9
Leçons sur les nombres transfinis
Si un ensemble donné a effectivement même puissance (§ 12) que l'ensemble
de tous les nombres naturels, nous l'appelons effectivement énumérable. Donc,
pour qu'un ensemble donné soit effectivement énumérable, il faut et il suffit que ...
10
Les virus informatiques: théorie, pratique et applications
Proposition 1 L'ensemble H est récursivement énumérable. Le terme de
récursivement énumérable signifie que pour savoir si p 6 H, on lance le calcul : si
celui—ci s'arrête, l'appartenance à l'ensemble est prouvée sinon on ne peut
répondre7 ...
用語«ÉNUMÉRABLE»を含むニュース項目
国内外の報道機関が語った内容や、次のニュース項目の文脈から
énumérableという用語がどのように使われているかを調べてみましょう。
Basket-ball / Autopsie d'un processus mort-né !
... 2015, la passion pour le basket-ball, réunie à nouveau tout le monde, membres du bureau ou autres. Une passion qui n'est pas énumérable. «L'Opinion, 7月 15»
SeaMonkey 2.26 est sorti
... finalisée et est activée (en savoir plus). navigator.plugins n'est plus énumérable, pour améliorer la vie privée de l'utilisateur (bogue 757 726). «MozillaZine-fr, 5月 14»
