Cote : 00016417
algorithme # calcul booleen # complexité # complexité de l'addition des entiers # complexité de l'arithmétique # complexité des logiques du premier ordre # décidabilité # fonction récursive # machine # machine de Turing # machine universelle # simulation d'algorithme
03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35
Localisation : Disparu