Scolarité
Premier cycle - 3,0 crédit(s)
Département
Département d'informatique et d'ingénierie
Objectifs
Au terme de ce cours, l'étudiant.e sera initié aux différents modèles de calcul; sera familier avec la théorie des langages formels; aura une compréhension des 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. Classes de complexité. Problèmes indécidables. Introduction à la calculabilité quantique. Ce cours comporte des séances obligatoires de travaux dirigés (TD).
Exigences de qualification pour l'enseignement
Diplôme(s)
Maîtrise en informatique ou un secteur disciplinaire connexe au cours.
Expérience
Deux (2) ans d'expérience dans un domaine lié au contenu du cours.
Corps professionnel
Aucun
Autre(s) exigence(s)
Dans tous les cas, la candidate, le candidat devra pouvoir démontrer sa 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