Study programme
2015 -
2016
Activité d'apprentissage à la Faculty of Science
Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) |
---|---|---|---|
S-INFO-023 |
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
---|---|---|---|---|---|---|---|
Français | Français | 30 | 30 | 0 | 0 | 0 | Q1 |
Contents
Automata, Turing machines, undecidable problems, recursively enumerable problems, decidable problems, complexity classes, NP-completeness.
Required Learning Resources/Tools
Not applicable
Recommended Learning Resources/Tools
Not applicable
Other Recommended Reading
- Theoretical Computer Science, J. Hromkovic, Springer, 2004
- Introduction to the theory of computation, M. Sipser, PWS publishing company, 2005
Mode of delivery
- Face to face
Term 1 Assessment - type
- Written examination
- see comment
Term 1 Assessment - comments
Written examination 100%
Term 2 Assessment - type
- N/A
Term 2 Assessment - comments
Not applicable
Term 3 Assessment - type
- Written examination
- see comment
Term 3 Assessment - comments
Written examination 100%
Resit Assessment - Term 1 (B1BA1) - Comments
Not applicable
Type of Teaching Activity/Activities
- Cours (cours magistraux; conférences)
- Exercices dirigés / utilisation de logiciels / démonstrations