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)

(04/2018)

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 2018

Groupe 01 (CHICOUTIMI JOUR) - RÉSERVÉ

du lundi 27-08-2018 au lundi 17-12-2018 de 13:00 à 15:45 Local:
du mercredi 29-08-2018 au mercredi 12-12-2018 de 14:30 à 15:45 Local: (travaux dirigés)
À propos du site Web institutionnel - © UQAC 2018. Tous droits réservés.