Ce cours propose une introduction à la logique mathématique en lien avec son utilisation en informatique.
- Enseignant responsable de l'UE: Jean Leneutre
MITRO201 - Logique
Inscription manuelle de participants
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.