Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 186 p.
Call n° : 00001934
algèbre de Boole # calcul différentiel # congruence # ensemble dénombrable # ensemble récursivement énumérable # groupe # géométrie analytique # matrice # ordinateur # reste # série infinie # équation diophantienne
03D25 ; 03G05 ; 11D79 ; 11Dxx ; 51Nxx
Location : Ouvrage RdC (DAVI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Call n° : 00017363
calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de récursion # sémantique opérationnelle # théorie de la quantification
[-] calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de ...
[+] 03Dxx ; 68Qxx
Location : Disparu
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 412 p.
Call n° : 00007587
théorie de récursion # théorie de calcul
68C25 ; 68FXX
Location : Ouvrage RdC (DAVI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 110 p.
Call n° : 00001941
algèbre linéaire normée # analyse fonctionnelle # espace linéaire normé # fonction analytique vers l'espace de Banach # fonction sur l'espace de Banach # homomorphisme # théorie des ensembles
03E25 ; 04A25 ; 46-01 ; 46Bxx
Location : Ouvrage RdC (DAVI)
Français