Nous exposons ici les grandes lignes de la correspondance preuves-programmes, qui montre un parallélisme entre logique et informatique.
Infos
- Baptiste Mélès
- 15 novembre 2022 17:37
- Cours - Formations
- Français
- Master
Nous utilisons des cookies pour personnaliser l’affichage (barre de menu de droite, mode sombre ou dyslexie etc.), gérer la session (authentification) et analyser le trafic du site (pour certaines instances).