- 62 p.
Cote : 00017858
L- isomorphisme # calcul faisable # complexité informatique # ensemble complet # langage formel # preuve de théorème trivial # problème P=NP relativisé # propriété de complexité prouvable # réduction # structure # système mathématique formel # théorie des ensembles formelles
03B48 ; 03D15 ; 68Q15 ; 68Q25 ; 68Q45
Localisation : Collection 1er étage