Prep@s.org

Le site de l'UPS pour les Classes Préparatoires aux Grandes Écoles

ENS Cachan Langages formels et applications, Bases de données relationnelles le Jeudi 24 avril 2014


Langages formels et applications
Les notions de langages et d'automates fournissent des outils formels utilisés dans de nombreuses applications. Elles sont présentées dans le programme d'option informatique par le prisme de la recherche de motifs dans un texte. L'objectif de cette formation est de présenter d'autres applications : en analyse lexicale des langages de programmation, morphologie des langues naturelles, et vérification des systèmes à états à la SysML.

Bases de données relationnelles
Les bases de données sont au cœur des activités humaines. Elles permettent de gérer des données dans une entreprise, une administration, des données scientifiques, des données personnelles. La technologie des bases de données relationnelles s'appuie sur des bases mathématiques que nous présenterons. Le but est de mettre en perspective le cours de bases de données au programme de CPGE.

Session sur les Preuves de correction et de terminaison d'algorithmes du 27 juin 2014 ici

Inscription en ligne : [ici-

http://www.dptinfo.ens-cachan.fr/LIESSE/] >
Langages formels et applications
Sylvain Schmitz, ENS Cachan
Jeudi 24 avril 2014, 9h30–12h30

Niveau de la formation : Option informatique en MP

Contenu : rappels sur les expressions rationnelles et les automates finis ; construction de l'automate de Glushkov, analyse lexicale : exemple de la syntaxe de Python ou d'OCaml, algorithme dynamique, analyse morphologique : modélisation, sélection des affixes et morpho-tactiques, exemple du français, systèmes à états : propriétés de sûreté et de vivacité, algorithmes de vérification.


Bases de données relationnelles
Serge Abiteboul, INRIA & ENS Cachan
Jeudi 24 avril 2014, 14h00–17h00

Niveau de la formation : Informatique pour tous

Contenu : La gestion de données, information, connaissances (leçon inaugurale au Collège de France) - Le calcul relationnel - L'algèbre relationnelle - Le langage SQL

Ressources : Polycopié écrit avec Benjamin Nguyen et Yannick Le Bras.

Contacter le Département Informatique [ici-

http://www.dptinfo.ens-cachan.fr/contact.php]>