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)

(08/2017)

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 2017

Groupe 01 (CHICOUTIMI JOUR) - RÉSERVÉ

le lundi 28-08-2017       de 13:00 à 15:45 Local: P1-7090
le mercredi 30-08-2017       de 14:30 à 15:45 Local: P1-7130(travaux dirigés)
du lundi 04-09-2017 au lundi 18-12-2017 de 13:00 à 15:45 Local: P1-7090
le mercredi 06-09-2017       de 14:30 à 15:45 Local: H0-1090(travaux dirigés)
du mercredi 13-09-2017 au mercredi 13-12-2017 de 14:30 à 15:45 Local: H0-1090(travaux dirigés)
À propos du site Web institutionnel - © UQAC 2017. Tous droits réservés.