Serge Grigorieff
IdRefMots clés
FR |
EN
Automates cellulaires
Calculabilité
Logique
Fonctions calculables
Théorie des automates mathématiques
Partitions (mathématiques)
Synchronisation
Décidabilité (logique mathématique)
Théorie des nombres
Théorie de la définissabilité (mathématiques)
Degrés Turing
Récursivité
Sous-Récursion
Récursivité, Théorie de la
Théorie des ensembles
Isomorphisme de Curry-Howard
Enseignement
Mathématiques -- Philosophie
Logique mathématique non classique
Aléatoire