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.
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 [+]