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

(09/2021)

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
6596 Baccalauréat en développement de jeux vidéo
6801 Baccalauréat avec majeure en mathématique
7833 Baccalauréat en informatique

Ce cours est offert au trimestre suivant:

Automne 2021

Groupe 01 (CHICOUTIMI JOUR) - RÉSERVÉ

du lundi 30-08-2021 au lundi 20-12-2021 de 13:00 à 15:45 Local: P1-5110
du jeudi 02-09-2021 au jeudi 16-12-2021 de 11:00 à 12:15 Local: P1-5110(travaux dirigés)
© UQAC 2021. Tous droits réservés.