UE découverte 2 : Modèles mathématiques pour l'informatique

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

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

1er session : contrôle continu écrit

2ème session : examen écrit

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