Théorie des langages et développement d'applications informatiques

Réf. : USSI5M

Sessions de formation

(Fuseau horaire : Europe/Paris)

Aucune session n'est visible pour le moment

Présentation

Public, conditions d'accès et prérequis

Etre admis.e à la préparation à l'agrégation d'Informatique.

Objectifs

Préparer les agrégatifs à passer dans les conditions les plus favorables les épreuves écrites et orales du concours de l'agrégation d'informatique.

Contenu

Cette US regroupe l’enseignement de la méthodologie ainsi que les concepts et paradigmes liés aux langages informatiques utilisés pour le développement. Le fonctionnement et l’accès aux informations stockées dans une base de données y sont également présentés. Nous décrivons plus en détail ci-dessous les concepts et notions traités.

Chaîne de compilation :

  • Analyse lexicale, analyse syntaxique, analyse sémantique élémentaire (arbre de syntaxe abstraite, environnement, analyse de portée, typage).

Programmation :

  • Programmation objet : objets, classes, héritage, polymorphisme de sous-typage.
  • Programmation fonctionnelle : ordre supérieur, structures immuables, polymorphisme paramétrique.

Méthode de programmation : Algorithmes et programmes, discipline de programmation (bonnes pratiques en programmation), validation et tests.

Langage formel : langages réguliers, automates finis, grammaires non contextuelles.

Bases de données :

  • Création, suppression, modification de tables au travers du langage de requêtes SQL.
  • Opérateurs de l’algèbre relationnelle et leurs propriétés : application à l’optimisation de requêtes.
  • Requêtes conjonctives et calcul conjonctif.
  • Opérateurs de l’algèbre relationnelle et leurs propriétés : application à l’optimisation de requêtes.)

Modalités d'évaluation

  • Contrôle continu
  • Examen final