Patrick Cegielski
Mots clés
FR |
EN
Décidabilité
Automates
Minimisation
Transition
Logique
Décidabilité (logique mathématique)
Théorie des automates mathématiques
Logique mathématique
Protection des données personnelles
Libertés individuelles
Rgpd
Vie privée via le numérique
Afrique de l'ouest
Droits fondamentaux
Protection de l'information (informatique) -- Droit
Isomorphisme de Curry-Howard
Enseignement
Mathématiques -- Philosophie
Logique mathématique non classique
Algorithme séquentiel