Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 412 p.
ISBN 978-0-12-206380-0
Computer science and applied mathematics
Localisation : Ouvrage RdC (DAVI)
théorie de récursion # théorie de calcul
68C25 ; 68FXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 110 p.
Notes on mathematics and its applications
Localisation : Ouvrage RdC (DAVI)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 186 p.
Notes on mathematics and its applications
Localisation : Ouvrage RdC (DAVI)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-12-206382-4
Computer science and scientific computing
Localisation : Disparu
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
... Lire [+]
