Langages formels et applications

Catalogue des cours de Télécom SudParis

Code

CSC 4504

Niveau

Graduate (M1)

Période

Spring (P2)

Domaine

Informatique

Langue d'enseignement

Français

Crédits ECTS

4

Heures programmées / Charge de travail

45 / 90

Responsable(s)

  • MAMMAR Amel

Département

- Informatique

Objectif

.Comprendre les principes des langages et méthodes formels.
Savoir les appliquer sur des cas simples : langage de la logique, IA (conception et programmation par règles) approche du développement de logiciels critiques à l'aide du langage B.

Contenu

- Base de la logique :
- Approche pragmatique et liens avec des notions de base de l'informatique
- logique des propositions
- logique des prédicats
- logique typée et types abstraits
- équivalence entre logique et (certaines) représentations graphiques
- Langage B
- Méthode formelle, utilisée pour le développement de logiciels "critiques" (à haute sécurité)
- machines abstraites
- raffinements
- preuves
- aspects méthodologiques
- Bases de l'intelligence artificielle "symbolique"
- Une autre manière de concevoir et de programmer : programmation "déclarative" ou "par règles"
- notion d'espace de recherche
- représentation des connaissances
- le moteur d'inférences JESS (en Java)
- problèmes classiques (diagnostic, conception, planification, etc)
- raisonnement non monotone
- aspects méthodologiques

Prérequis

 

Mots-clés

langages formels, langage B, preuve de programmes, intelligence artificielle

Evaluation

1ère session = Note de participation + de projet + d’exposés = C1
2ème session = pas de 2ème session dans le cadre d’un projet
Note finale = C1

Approches pédagogiques

 

Programme

Programme Ingénieur

Fiche mise à jour : 09/08/2017 11:34:38