Programmation Avancée et Calculabilité

  • See this page in english

    En bref

  • Langue d'enseignement : Français
  • Code : N8EN09B

Objectifs

- Savoir ce qu'est un calcul, un modèle de calcul et les limites de ce que peut faire un ordinateur (résultats d'incalculabilité et d'indécidabilité)

- Comprendre ce que signifie qu'un problème est difficile

- Comparer des problèmes en terme de calculabilité et de complexité

- Comprendre et savoir utiliser des idiomes et patrons de conceptions pour structurer une applications

Description

La matière est composée de deux parties. Une partie théorique présente la notion de calcul au travers de plusieurs modèles de calcul, comme les machines de Turing, les fonctions récursives ou le calcul quantique. Elle en expose les limites par des résultats d'indécidabilité et d'incalculabilité. Cette partie présente par ailleurs la complexité des problèmes tant en temps (P, NP, NP-complétude) qu'en espace (PSPACE). La partie appliquée expose des approches modernes de la programmation : décorateurs/annotations, inversion de contrôle et injection de dépendances, proxy, programmation par aspects.

Session 1 ou session unique - Contrôle des connaissances

ModalitéNatureCoefficientRemarques
CT (contrôle terminal) Oral/Ecrit100%Examen Programmation Avancée

Session 2 - Contrôle des connaissances

ModalitéNatureCoefficientRemarques
CT (contrôle terminal) Oral/Ecrit100%Examen Programmation Avancée

Contact(s)

QUEINNEC PHILIPPE

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