Modèle mathématique pour l'informatique

  • Aide
  • Recherche
  • Facebook
  • Twitter
Formation

Formation continue et reprise d'études

Formation continue et reprise d'études

Consultez la liste des formations proposées dans le cadre de la formation continue : formations diplômantes, certifications, préparations, formations courtes et formations sur mesure

Lire la suite

Actualités

Vous êtes ici :

Modèle mathématique pour l'informatique

Présentation

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

 

Volume horaire

  • Cours Magistral : 9h
  • Travaux Dirigés : 10.5h

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

 

Examens

100 % contrôle continu

En bref

Crédits ECTS 2.0

Nombre d'heures 19.5

Contact(s)

Composante