Leçons sur les fonctions calculables
constructivisation de définition négative # ensemble récursivement énumérable # ensemble universel # fonction calculable # fonction partielle récursive # fonction primitive récursive # fonction universelle # logique mathématique # machine à calculer abstraite # prédicat général récursif # prédicat primitif récursif # prédicat récursivement énumérable # séparation des réels calculables # théorie des ensembles # théorie des fonctions
Ville d'édition : Paris
Pays d'édition : France
Langue : Français
Collation : Bibliogr. ; fig.#24 cm#rel. ; Index
Collection : Actualités scientifiques et industrielles
N° de collection : 1317
Localisation : Ouvrage RdC (OUSP)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00001911 | [disponible] |