Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 412 p.
Cote : 00007587
théorie de récursion # théorie de calcul
68C25 ; 68FXX
Localisation : Ouvrage RdC (DAVI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 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
Localisation : Disparu
English