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

  • 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

Lire moins

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

Lire moins

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

Lire moins

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

Lire moins