Scolarité
Premier cycle - 3,0 crédit(s)
Département
Département d'informatique et d'ingénierie
Objectifs
Introduire l'étudiant aux différents modèles de calcul. Familiariser l'étudiant à la théorie des langages formels. Faire comprendre les limitations des ordinateurs.
Contenu
Langages réguliers et automates finis. Langages hors contexte et automates à pile. Grammaires contextuelles. Hiérarchie de Chomsky. Machines de Turing. Hypothèse de Church. Calculabilité et déterminisme. Problèmes indécidables. Ce cours comporte des séances obligatoires de travaux dirigés (TD) de deux heures par semaine.
Exigences de qualification pour l'enseignement
Diplôme(s)
Maîtrise en informatique.
Expérience
Spécialisation académique en mathématiques ou informatique théoriques ou trois années d'expérience dans des activités pédagogiques ou professionnelles liées à ce domaine.
Corps professionnel
Aucun
Autre(s) exigence(s)
Dans tous les cas, le candidat devra pouvoir démontrer une capacité à communiquer efficacement oralement et par écrit ainsi qu'à transmettre les connaissances ou les habiletés pertinentes au contenu du cours pour lequel les exigences de qualification pour l'enseignement (EQE) sont adoptées.
CAFF
6402 - Informatique théorique