Année universitaire 2024-25
Ce cours d'introduction à la logique et à ses liens avec l'informatique s'adresse à des étudiants de niveau L3 de la mention informatique et de la mention "Informatique, Mathématiques" (dont magistère informatique).
Année: 24/25