ECTS
4 crédits
Composante
Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)
Volume horaire
39h
Description
1-Logique
1.1-Calcul propositionnel
Langage propositionnel-construction des formules-Formes normales
1.2-Logique de premier ordre
Langage – construction des formules- -variables libres, variables liées, formule close
Prédicat, axiomes, Théorie ( complétude, consistance)
2- Structures algébriques pour l’informatique.
spécification algébrique des types abstraits de données
Objectifs
1-Apprendre à exprimer des propriétés pour interpréter et construire une spécification formelle (algébrique)
2-Apprendre à démontrer la correction partielle des algorithmes
3-Comprendre les bases d’une approche algébrique
Heures d'enseignement
- UE découverte 2 : Modèles mathématiques pour l'informatique - CMCours Magistral19,5h
- UE découverte 2 : Modèles mathématiques pour l'informatique - TDTravaux Dirigés19,5h
Contrôle des connaissances
1er session : contrôle continu écrit
2ème session : examen écrit
Compétences visées
Apporter les bases nécessaires pour aborder à partir du S3 les points suivants:
-spécification (algébrique) des types abstraits de données et le fonctionnement des nouveaux «prouveurs » automatiques (solvers) utilisés,
- preuve (manuelle) de la correction partielle d’un algorithme