Programme d’études2015 - 2016
Activité d'apprentissage à la Faculté des Sciences
CodeTitulaire(s)Co-Titulaire(s)Suppléant(s) et autre(s)
S-INFO-023
  • BRUYERE Véronique
      Langue
      d’enseignement
      Langue
      d’évaluation
      HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Période
      d’enseignement
      FrançaisFrançais3030000Q1

      Contenu de l'AA

      Automates, machines de Turing, problèmes décidables, récursivement énumérables et indécidables, classes de complexité, NP-complétude.

      Supports principaux non reproductibles

      Sans objet

      Support complémentaires non reproductibles

      Sans objet

      Autres références conseillées

      - Theoretical Computer Science, J. Hromkovic, Springer, 2004
      - Introduction to the theory of computation, M. Sipser, PWS publishing company, 2005

      Mode d'enseignement

      • Face à face

      Types d'évaluation du Q1

      • Examen écrit
      • Voir commentaire

      Commentaire sur l'évaluation Q1

      Examen écrit 100%

      Types d'évaluation Q2

      • Néant

      Commentaire sur l'évaluation Q2

      Sans objet

      Types d'évaluation du Q3

      • Examen écrit
      • Voir commentaire

      Commentaire sur l'évaluation Q3

      Examen écrit 100%

      Commentaire sur l'évaluation Q1ratt. B1BA

      Sans objet

      Types d'activités

      • Cours (cours magistraux; conférences)
      • Exercices dirigés / utilisation de logiciels / démonstrations
      UE : Unité d’Enseignement - AA : Activité d’Apprentissage
      (*) HT : Heures théoriques - HTPE : Heures de travaux pratiques encadrés - HTPS : Heures de travaux pratiques supervisés - HD : Heures diverses - HR : Heures de remédiation - Dans la colonne Pér. (Période), A=Année, Q1=1er quadrimestre et Q2=2e quadrimestre