Une maintenance est programmée. UniCApod sera indisponible jeudi 10/07/25. Évitez tout transfert de contenu à cette date.
Révisions sur les congruences. Théorèmes spécifiques de la logique des prédicats.
Mots clés : congruences predicats
Informations
- Jean-Luc Gautero (jgautero@unice.fr)
- 24 novembre 2023 20:17
- Séquence de cours
- Français
- Licence
Commentaire(s)