Bloc Logique (0 ou 6 ECTS)

Liste des enseignements

• Théorie des ensembles : outils classiques

  6 crédits48h

• Théorie des modèles : outils classiques

  6 crédits48h

• Preuves-programmes : outils classiques

  6 crédits48h

• Calculabilité : outils classiques

  6 crédits48h