uqac.ca

web

8INF713

Informatique théorique

(3.0 cr.)

É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)

Formule pédagogique : Cours Magistral

(03/2019)

Appartenance départementale

Informatique et mathématique

Programmes dans lesquels se trouve ce cours

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

Ce cours est offert au trimestre suivant:

Automne 2019

Groupe 01 (CHICOUTIMI JOUR) - RÉSERVÉ

du lundi 26-08-2019 au lundi 16-12-2019 de 13:00 à 14:15 Local:
du lundi 26-08-2019 au lundi 16-12-2019 de 14:30 à 15:45 Local: (travaux dirigés)
du jeudi 29-08-2019 au jeudi 12-12-2019 de 11:00 à 12:15 Local:
© UQAC 2019. Tous droits réservés.