ECTS
4 crédits
Composante
Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)
Volume horaire
35,5h
Description
- Plan du cours :
1) Logique propositionnelle
- Langage propositionnel,
- Construction des formules,
- Calcul propositionnel,
- Formes normales.
2) Logique des prédicats
- Langage – construction des formules,
- Variables libres, variables liées, formule close,
- Prédicat, axiomes,
- Déduction naturelle,
- Théorie des modèles (complétude, consistance),
3) Structures algébriques pour l’informatique
- Spécification algébrique des types abstraits de données.
Objectifs
À la fin de cette UE, vous serez capable de :
- Exprimer des propriétés pour interpréter et construire une spécification formelle,
- Manipuler des formules logiques,
- Modéliser des énoncés à l’aide de formules logiques et interpréter des formules dans un modèle donné,
- Comprendre les bases d’une approche algébrique.
Heures d'enseignement
- CMCours Magistral16h
- UE découverte 2 : Modèles mathématiques pour l'informatique - TDTravaux Dirigés19,5h
Contrôle des connaissances
100% Contrôle Continu Intégral.
Compétences acquises
Compétences | Niveau d'acquisition | |
|---|---|---|
| Mise en œuvre de méthodes et d'outils du champ disciplinaire | Mettre en œuvre des méthodes d'analyse pour concevoir des modèles de données et des algorithmes à partir d'un cahier des charges partiellement défini. | 2 - Application |
| Appliquer des approches raisonnées de résolution de problèmes complexes : modèle formel d'un problème, réduction et complétude de problèmes | 2 - Application | |
| Caractériser les outils logiques et algébriques fondamentaux (théorie des langages et de la compilation, logique et raisonnement, ordres, induction) et leurs implications dans la programmation et la modélisation. | 3 - Maitrise | |