En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Leçons sur les fonctions calculables

Sélection Signaler une erreur
Ouvrage

Ouspenski, V. A. (Principal) ; Chauvin, André (Traducteur)

Hermann

1966

412 p.

00001911

03D20 ; 03D25 ; 03D80 ; 03Dxx

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00001911

[disponible]
Sélection Signaler une erreur