Entité Promoteur Génie logiciel
Unité d'enseignement Mathématiques pour l'Informatique
Type de l'Unité d'enseignement Unité de Connaissances Fondamentales
Acquis d'apprentissage
Semestre 1
ECU concerné Logique et techniques de preuves
Enseignant principal ATINDOGBE Cyriaque
Enseignant secondaire OLATUNBOSUN Olatokunbo
Plan du cours

L’objectif du cours est de familiariser les étudiants aux formalismes de la logique, de la démonstration, de validité, des liens entre la logique syntaxique et la logique sémantique. Ce cours met en pratique un minimum d’objets mathématiques utilisés en informatique.