Modélisation

  • See this page in english

    En bref

  • Langue d'enseignement : Français
  • Méthode d'enseignement : En présence
  • Code : N5EN06A

Objectifs

Découvrir,  comprendre et savoir exploiter les outils mathématiques nécessaires à la modélisation formelle de la programmation : la logique et la théorie des langages. La matière couvre à la fois les aspects théoriques et pratiques à travers l'exploitation d'outils de l'état de l'art actuel permettant la formalisation et la preuve de programmes, et l'utilisation de la description formelle de langages pour l'exploitation d'informations structure.

Description

Étude théorique et pratique de :

  • Logique des propositions
  • Logique des prédicats
  • Théorie des ensembles et induction structurelle
  • Logique de Hoare et Preuve de programmes
  • Théorie des langages
  • Expressions régulières
  • Grammaires

Compétences visées

Modélisation d'exigences en utilisant la logique.

Modélisation de programmes et de leur correction par rapport aux exigences en utilisant la logique.

Modélisation de langages à base d'expressions régulières et grammaires.

Utilisation des modèles de langages pour exploiter des informations structurées.

Session 1 ou session unique - Contrôle des connaissances

ModalitéNatureCoefficientRemarques
CC (contrôle continu) Oral/Ecrit70%Examen Modélisation
CC (contrôle continu) Bureau d'Etudes30%BE-Modélisation

Session 2 - Contrôle des connaissances

ModalitéNatureCoefficientRemarques
CC (contrôle continu) Oral/Ecrit70%Examen Modélisation
CC (contrôle continu) Bureau d'Etudes30%BE-Modélisation

Contact(s)

PANTEL MARC

Lieu(x)

  • Toulouse

Contactez l’ENSEEIHT

L’École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications

2, rue Charles Camichel - BP 7122
31071 Toulouse Cedex 7, France

+33 (0)5 34 32 20 00

Certifications

  • Logo MENESR
  • Logo UTFTMP
  • Logo INP
  • Logo INPT
  • Logo Mines télécoms
  • Logo CTI
  • Logo CDEFI
  • Logo midisup