Travaux dirigés de Fondement de l'informatique (FDI) 2
Mathilde Noual et
moi-même
sommes chargés des travaux dirigés du cours de Fondement De l'Informatique (FDI) 2
assuré par Alexandre.
Voici la liste des différents sujets:
- Déduction naturelle,
- Arithmétique de Peano,
- Théorie des ensembles,
- Modèles 1,
- Modèles 2
- Modèles 3,
- Ultraproduits et ultrapuissances,
- Sémantique dénotationnelle 1,
- Sémantique dénotationnelle 2,
- Sémantique dénotationnelle 3,
- Sémantique dénotationnelle 4.