Programme d’études2015 -
2016
Activité d'apprentissage à la Faculté des Sciences
Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) |
---|---|---|---|
S-INFO-023 |
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
---|---|---|---|---|---|---|---|
Français | Français | 30 | 30 | 0 | 0 | 0 | Q1 |
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