Introduction à l'informatique théorique
RT0707
Semestre : 7 ECTS : 3 30 points
Année universitaire : 2018 / 2019
Responsable : 
   Pascal Mignot
Département :
   Mathématiques, Mécanique, Informatique
   (UFR SEN)

    

   
Volume horaire :
NatureCMTDTPCMTDiTDTPiTotal
Durée12h 8h 10h   30h 
Modalités de contrôle des connaissances :
Epreuves Nature DS DST CRTP EET  Total
Durée 2h 2h  2h 
Points (%) Cas général 1ère session 30 60 10  100%
2nde session    100 100%
Dispense contr. cont. 1ère session  100   100%
2nde session    100 100%

Seules les notes des épreuves de contrôle continu supérieures à 10/20 (hors épreuves de TP) sont reportées à la 2ème session.
Le coefficient de l'épreuve terminal de 2ème session est alors adapté en conséquence.
Objectifs :
Raisonner sur les concepts théoriques de l’informatique
Compétences spécifiques visées :
Manipuler les automates
Manipuler dans le cadre de la programmation et de l’administration les expressions régulières
Calculer les mesures de performance des algorithmes

Compétences générales visées :
Mesurer les performances des algorithmes
Modéliser les exécutions
Connaissances requises :
Programme :
Rappels sur les langages et automates
Expressions régulières
Notion de complexité
Parcours où cette matière apparaît comme ECF ou ECD :
Master -ASR Master -DAS
Dernière modification le 20/07/2018 à 10h32