Étudier les fondements théoriques de l'informatique afin de comprendre quelles sont les propriétés et les limites des ordinateurs.
Formalisation des notions de problème et de langage. Automates finis, expressions régulières et langages réguliers. Automates à pile et langages hors-contextes. Machines de Turing, langages récursifs et récursivement énumérables. Indécidabilité. Réductibilité. Classes de complexité. Hiérarchies.
Préalable(s): (8INF259 et 8MAT122)
| 0711 | Programme court de premier cycle en informatique pour étudiants en séjour d'études |
| 4202 | Certificat en informatique |
| 6801 | Baccalauréat avec majeure en mathématique |
| 6908 | Baccalauréat avec majeure en conception de jeux vidéo |
| 7833 | Baccalauréat en informatique |
Groupe 01 (CHICOUTIMI JOUR) - RÉSERVÉ
| du | lundi | 27-08-2018 | au | lundi | 17-12-2018 | de | 13:00 | à | 14:15 | Local: | P1-7070 | |
| du | lundi | 27-08-2018 | au | lundi | 17-12-2018 | de | 14:30 | à | 15:45 | Local: | P1-7070 | (travaux dirigés) |
| du | jeudi | 30-08-2018 | au | jeudi | 13-12-2018 | de | 11:00 | à | 12:15 | Local: | P1-7090 |