Académique Documents
Professionnel Documents
Culture Documents
Doctorat en informatique
Les sections Présentation, Structure du programme et Admission et exigences (à l'exception de la rubrique intitulée « Document(s)
requis pour l'admission ») constituent la version officielle de ce programme. La dernière mise à jour a été faite le 22 février 2020.
L’Université se réserve le droit de modifier ses programmes sans préavis.
PRÉSENTATION
Sommaire* PARTICULARITÉS*
*IMPORTANT : Certains de ces renseignements peuvent varier selon les cheminements ou concentrations. Consultez les sections Ouvert aux personnes étudiantes
Structure du programme et Admission et exigences pour connaitre les spécificités d’admission par cheminements, trimestres
internationales en régime régulier
d’admission, régimes ou lieux offerts.
GRADE LIEU
Philosophiæ Doctor Campus principal de Sherbrooke
TRIMESTRE(S) D'ADMISSION
Automne, Hiver, Été
Renseignements
819 821-8000, poste 62703
819 821-8200 (télécopieur)
phd.informatique@USherbrooke.ca
un cheminement en informatique;
un cheminement en bio-informatique;
un cheminement en imagerie et médias numériques.
USherbrooke.ca/admission 1
OBJECTIF(S)
Permettre à l'étudiante ou à l'étudiant :
d'approfondir et de maintenir à jour ses connaissances dans un champ de spécialisation de l’informatique, de la bio-informatique ou de
l’imagerie et des médias numériques;
de comprendre et de formuler de façon autonome des problématiques issues de situations ou de connaissances relatives à son domaine;
d'acquérir une formation de chercheuse ou de chercheur;
de devenir apte à assumer, d'une façon autonome, la responsabilité d'activités de recherche;
de contribuer à l’avancement des connaissances dans son domaine de recherche;
de développer sa capacité de bien communiquer les résultats de ses travaux.
STRUCTURE DU PROGRAMME
Cheminement en informatique
TRONC COMMUN
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
USherbrooke.ca/admission 2
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
USherbrooke.ca/admission 3
78 crédits d'activités pédagogiques obligatoires du tronc commun
12 crédits d'activités pédagogiques à option choisies dans la banque d'activités pédagogiques à option communes à tous les cheminements
ou parmi les activités pédagogiques suivantes
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
Une étudiante ou un étudiant au doctorat ne peut s'inscrire à une de ces activités qu'avec l'approbation du comité des études supérieures du
département et celle de sa directrice ou de son directeur de recherche.
Cheminement en bio-informatique
TRONC COMMUN
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
USherbrooke.ca/admission 4
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
12 crédits d'activités pédagogiques à option choisies dans la banque d'activités pédagogiques à option communes à tous les cheminements
ou dans l'un des programmes du Département de biologie ou parmi les activités pédagogiques suivantes
USherbrooke.ca/admission 5
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
Une étudiante ou un étudiant au doctorat ne peut s'inscrire à une de ces activités qu'avec l'approbation du comité des études supérieures du
département et celle de sa directrice ou de son directeur de recherche.
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
USherbrooke.ca/admission 6
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
12 crédits d'activités pédagogiques à option choisies dans la banque d'activités pédagogiques à option communes à tous les cheminements
ou parmi les activités pédagogiques suivantes
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
USherbrooke.ca/admission 7
Code de l'activité
pédagogique Titre de l'activité pédagogique et nombre de crédits
Une étudiante ou un étudiant au doctorat ne peut s'inscrire à une de ces activités qu'avec l'approbation du comité des études supérieures du
département et celle de sa directrice ou de son directeur de recherche.
ADMISSION ET EXIGENCES
Condition(s) générale(s)
Détenir un grade de 2e cycle en sciences ou en génie ou l'équivalent. Des activités pédagogiques d’appoint seront exigées si la formation de
base est jugée insuffisante.
ou
er
Détenir un grade de 1 cycle en sciences ou en génie ou l’équivalent, pour les candidates et candidats dont les dossiers scolaires ont été jugés
exceptionnels par le comité des études supérieures du Département d’informatique.
Condition(s) particulière(s)
La candidate ou le candidat admis avec un grade de 1er cycle devra réussir 30 crédits additionnels d’activités pédagogiques d’appoint.
La candidate ou le candidat doit s’assurer qu’une professeure ou un professeur habilité accepte de superviser la recherche.
USherbrooke.ca/admission 8
POURQUOI CE PROGRAMME
USherbrooke.ca/admission 9
LA RECHERCHE
USherbrooke.ca/admission 10
INDEX DES ACTIVITÉS PÉDAGOGIQUES
Sommaire
Programmes offrant cette BIN703 - Recherche CYCLE
activité pédagogique
(cours) d'information 2e cycle
CRÉDITS
Doctorat en informatique
3 crédits
Maîtrise en informatique
Sommaire
CYCLE FACULTÉ/CENTRE
2e cycle Faculté des sciences
USherbrooke.ca/admission 11
Cible(s) de formation CRÉDITS 3 crédits
3 crédits
Approfondir et maîtriser un sujet choisi en FACULTÉ/CENTRE
bio-informatique. FACULTÉ/CENTRE Faculté des sciences
Faculté des sciences
Programmes offrant cette Cible(s) de formation
activité pédagogique Cible(s) de formation
(cours) Critiquer et évaluer des présentations
Critiquer et évaluer des présentations scientifiques; réaliser une présentation orale.
Doctorat en informatique
scientifiques; réaliser une présentation orale.
Maîtrise en informatique Programmes offrant cette
Programmes offrant cette activité pédagogique
activité pédagogique (cours)
(cours)
BIN801 - Séminaire de Doctorat en informatique
Doctorat en informatique
recherche en bio-
informatique I
IFT701 - Reconnaissance
BIN803 - Séminaire de
Sommaire
de formes
recherche en bio-
CYCLE
3e cycle
informatique III
Sommaire
CRÉDITS CYCLE
3 crédits Sommaire 2e cycle
CYCLE
FACULTÉ/CENTRE CRÉDITS
3e cycle
Faculté des sciences 3 crédits
CRÉDITS
FACULTÉ/CENTRE
3 crédits
Cible(s) de formation Faculté des sciences
FACULTÉ/CENTRE
Critiquer et évaluer des présentations
scientifiques; réaliser une présentation orale. Faculté des sciences
Cible(s) de formation
Contenu Cible(s) de formation Acquérir les principaux concepts et les
principales techniques pour extraire et
Présentation d'au moins un séminaire par la
Critiquer et évaluer des présentations exploiter les paramètres d'une forme (signal,
candidate ou le candidat. Critique et
scientifiques; réaliser une présentation orale. parole, images, bases de données);
évaluation des présentations offertes par les
apprendre à concevoir et implanter des
collègues.
Programmes offrant cette systèmes de classification de formes.
activité pédagogique
Programmes offrant cette (cours) Contenu
activité pédagogique
(cours) Doctorat en informatique Concepts de base : formes, caractéristiques,
problèmes de la dimensionnalité,
Doctorat en informatique classification, décision, apprentissage
supervisé, apprentissage non supervisé, etc.
Approches statistiques : théorie de la
BIN804 - Séminaire de décision bayésienne, méthodes
BIN802 - Séminaire de recherche en bio- paramétriques, semi-paramétriques et non
clustering
paramétriques, analyse discriminante,
recherche en bio- informatique IV analyse de , technique pour
informatique II l'extraction et la sélection de
caractéristiques, introduction aux réseaux
Sommaire neuronaux. Approches structurelles :
CYCLE inférences grammaticales, structures
Sommaire syntaxiques, descriptions relationnelles
3e cycle
CYCLE (graphes et arbres), techniques
3e cycle CRÉDITS d'appariement de graphes. Applications.
USherbrooke.ca/admission 12
Programmes offrant cette IFT703 - Informatique CRÉDITS
activité pédagogique 3 crédits
(cours) cognitive
FACULTÉ/CENTRE
Doctorat en informatique Faculté des sciences
USherbrooke.ca/admission 13
Programmes offrant cette répartis et multi-agents FACULTÉ/CENTRE
activité pédagogique Faculté des sciences
(cours) RÉPARTITION DE LA
Doctorat en informatique Sommaire CHARGE DE TRAVAIL
CYCLE 3-0-6
Maîtrise en informatique
2e cycle
Maîtrise en informatique
Sommaire 2e cycle
CYCLE CRÉDITS
2e cycle 3 crédits
CRÉDITS FACULTÉ/CENTRE
IFT713 - Systèmes 3 crédits Faculté des sciences
USherbrooke.ca/admission 14
RÉPARTITION DE LA Cible(s) de formation en ses propres termes les articles de
CHARGE DE TRAVAIL recherches récents les plus significatifs
Maîtriser la conception, la mise en œuvre et publiés dans le domaine des métriques de
3-0-6
le déploiement de systèmes d'information à logiciel; justifier et planifier l'utilisation des
grande échelle comme des sites métriques et pouvoir décrire les principaux
Cible(s) de formation commerciaux ou des applications impliquant problèmes potentiels reliés à leur
des usagers en mobilité. Maîtriser la exploitation.
Connaître la problématique et l'importance conception, la mise en œuvre et le
des interfaces dans les applications; déploiement de systèmes informatiques Contenu
concevoir, analyser et construire une ubiquitaires.
Métriques dans le cycle de vie des systèmes
interface de qualité appropriée.
Contenu informatiques; métriques de développement,
de conception et d'analyse. Métriques et
Contenu Techniques avancées, architectures et modèles de fiabilité. Cadre expérimental.
méthodes de déploiement. Programmation Micro et macromodèles. Évaluation de
Architecture générale des interfaces.
client-serveur. Gestion de l'information. modèles. Automatisation et exploitation des
Modèles cognitifs pour l'interaction
Structuration des échanges. Session et mesures : estimation et contrôle des projets,
personne-machine. Modélisation des
persistance. Personnalisation et profils. assurance de qualité, mesure de la
utilisateurs : les systèmes de traitement
Gestion de la charge. Robustesse. Sécurité. productivité, conception à base de
d'information, les processus de
Accès multimodal : son, texte, image, vidéo. métriques.
communication basés sur des modèles, les Accès multicanal : PC, téléphone cellulaire,
processus de communication basés sur les tablette, assistant personnel. Qualité de
connaissances. Processus de développement service. Réseaux et applications mobiles.
Programmes offrant cette
d'une interface : analyse, spécification et Étude de cas. Réseaux de capteurs.
activité pédagogique
implantation. Évaluation : critères et qualités
(cours)
Informatique ubiquitaire et sensibilité au
des interfaces. Outils pour le développement contexte. Doctorat en informatique
d'une interface. Intégration de l'information
multisource : graphique, à deux et à trois
Programmes offrant cette
dimensions, audio, vidéo. Les normes dans activité pédagogique
les interfaces personne-machine. (cours) IFT722 - Génie logiciel
Programmes offrant cette Doctorat en informatique
activité pédagogique Maîtrise en génie logiciel Sommaire
(cours) Maîtrise en informatique CYCLE
Doctorat en informatique 2e cycle
logiciels FACULTÉ/CENTRE
Faculté des sciences
RÉPARTITION DE LA
Cible(s) de formation Contenu
CHARGE DE TRAVAIL Décrire, classer et comparer les mesures et Environnement de développement. Méthodes
3-0-6 les métriques classiques; choisir et expliquer de modélisation et de spécification de
USherbrooke.ca/admission 15
systèmes. Validation et vérification de Programmes offrant cette (cours)
spécifications. Outils logiciels. activité pédagogique
Programmation automatique et outils (cours) Doctorat en informatique
logiciels à base de connaissances. Méthodes
de conception. Comparaison de méthodes. Doctorat en informatique
Prototypage. Réutilisation du logiciel.
Maîtrise en génie logiciel
IFT729 - Conception de
Programmes offrant cette Maîtrise en informatique
activité pédagogique systèmes temps réel
(cours)
Doctorat en informatique
IFT724 - Systèmes à base Sommaire
de connaissances CYCLE
2e cycle
IFT723 - Sujets CRÉDITS
approfondis en bases de Sommaire 3 crédits
CYCLE
données FACULTÉ/CENTRE
2e cycle
Faculté des sciences
CRÉDITS
Sommaire 3 crédits
RÉPARTITION DE LA
CYCLE CHARGE DE TRAVAIL
2e cycle FACULTÉ/CENTRE 3-0-6
Faculté des sciences
CRÉDITS
3 crédits RÉPARTITION DE LA Cible(s) de formation
CHARGE DE TRAVAIL
FACULTÉ/CENTRE Connaître et repérer les problèmes inhérents
3-0-6
Faculté des sciences au développement de systèmes temps réel;
connaître et appliquer le traitement du
RÉPARTITION DE LA
CHARGE DE TRAVAIL
Cible(s) de formation temps au niveau des systèmes
informatiques; spécifier, concevoir,
3-0-6 Connaître de façon approfondie les programmer et vérifier des systèmes temps
techniques de raisonnement, de réel.
représentation et d'acquisition des
Cible(s) de formation
connaissances; connaître et utiliser le
Reconnaître les activités et les problèmes de processus de développement des systèmes à Contenu
la modélisation des données dans le base de connaissances.
contexte des bases de données; reconnaître Types de systèmes temps réel.
les problèmes de recherche fondamentaux Contenu Représentation du temps, contraintes de
dans le domaine des bases de données. temps, horloge, synchronisation d'horloges.
Typologie des connaissances et des Formalismes utilisés dans la spécification de
statecharts
Contenu raisonnements. Représentation de
frames systèmes temps réel : machines à états,
connaissances par les règles, réseaux , réseaux de Petri, Grafcet.
Analyse de différents modèles de données sémantiques, , réseaux bayésiens. Approche axiomatique de spécification de
(réseau, relationnel, sémantique, etc.). Raisonnements non monotoniques et contraintes temporelles. Architecture des
Concepts fondamentaux : structures, probabilistes. Logique floue et modèles systèmes temps réel. Acquisition et
contraintes, opérations. Conception des connexionnistes. Apprentissage à partir des traitement de l'information en temps réel.
bases de données centralisées et exemples (par induction), par déduction et Modèles utilisés dans la conception de
distribuées. Étapes de la conception, par analogie. Planification. Architecture des systèmes temps réel : modèles basés sur les
modélisation conceptuelle, implantation,
systèmes à base de connaissances. évènements, modèles basés sur les graphes,
administration des bases de données (DBA).
Processus de développement d'un système à modèles des tâches, modèles des processus,
Répartition et allocation des données,
base de connaissances. Structures de modèles du contrôle. Programmation
concurrence, intégrité et recouvrement.
contrôle. Algorithmes d'appariements. Outils d'applications. Approfondissement de
Orientations futures : les machines BD
de développement des systèmes à base de certains sujets par des lectures
(database machines), les systèmes de
gestion des systèmes de bases de données
connaissances. supplémentaires.
intelligentes, les bases de données orientées
objets telles que Object Store, O2 et Versant, Programmes offrant cette Programmes offrant cette
ainsi que les bases de données déductives. activité pédagogique activité pédagogique
USherbrooke.ca/admission 16
(cours) IFT740 - Programmation Faculté des sciences
Contenu Sommaire
Programmes offrant cette
Présentation des concepts et architectures activité pédagogique CYCLE
de base des systèmes : le modèle objets, le (cours) 2e cycle
contrôle des accès, le contrôle réparti, la
Doctorat en informatique CRÉDITS
fiabilité, l'hétérogénéité, l'efficacité et la
tolérance aux fautes. Applications de ces 3 crédits
concepts à la conception des systèmes
FACULTÉ/CENTRE
d'exploitation répartis, des serveurs de
fichiers répartis et des bases de données
IFT743 - Fiabilité des Faculté des sciences
distribuées. Répartition des charges et des systèmes RÉPARTITION DE LA
ressources : taxonomie et algorithmes.
CHARGE DE TRAVAIL
Gestion des systèmes répartis.
3-0-6
Sommaire
Programmes offrant cette CYCLE
activité pédagogique 2e cycle
Cible(s) de formation
(cours)
CRÉDITS Connaître de façon approfondie les
Doctorat en informatique protocoles; connaître et apprécier le niveau
3 crédits
actuel de la recherche en
FACULTÉ/CENTRE télécommunications.
USherbrooke.ca/admission 17
Contenu Programmes offrant cette IFT749 - Sujets choisis
activité pédagogique
Modèle de référence de l'ISO. Architecture
(cours) en informatique de
TCP/IP. Interconnexion des réseaux (IP).
Couche transport : ISOTP, TCP, UDP. Couche Doctorat en informatique
systèmes
session. Couche présentation. Couche
application: ACSE, ROSE, CCR, VT, FTAM,
MOTIS, Telnet, FTP, SMTP. Aspects système : Sommaire
DNS, X.500. Spécification, vérification et CYCLE
implantation de protocoles. Langages de IFT747 - Conception et
2e cycle
spécification formelle : ASN.1, SDL, Estelle,
Lotos. Tests de conformité et séquences de
gestion des systèmes
CRÉDITS
tests. Gestion des réseaux : CMIP, SNMP. d'information 3 crédits
USherbrooke.ca/admission 18
l'implantation effective d'algorithmes (cours) Cible(s) de formation
numériques et les solutions apportées dans
les logiciels modernes. Doctorat en informatique Connaître et comprendre plusieurs types de
réseaux de neurones. Savoir les implanter,
Contenu les entraîner et analyser leur performance.
Savoir lire, comprendre, synthétiser et
Généralités: algèbre et analyse numérique, présenter des travaux d'articles scientifiques
erreurs d'arrondi. Applications, par exemple,
IFT769 - Sujets choisis sur les réseaux de neurones. Pouvoir
aux équations linéaires et non linéaires, aux en informatique reproduire les résultats d’un article
scientifique ou concevoir un nouveau réseau
problèmes d'optimisation et à la statistique.
Algorithmes parallèles, machines théorique de neurones puis évaluer sa performance.
vectorielles. Autres représentations des
nombres.
Contenu
Sommaire Apprentissage supervisé par réseaux de
Programmes offrant cette CYCLE neurones : classification et régression avec
activité pédagogique 2e cycle réseaux à propagation avant et prédiction de
(cours) cibles. Réseaux de neurones classiques :
CRÉDITS perceptron multicouches et régression
Doctorat en informatique 3 crédits logistique. Réseaux à convolution et
architectures profondes (deep learning)
FACULTÉ/CENTRE modernes : VGG, InceptionNet, ResNet, UNet,
Faculté des sciences etc. Applications à l'imagerie :
reconnaissance, segmentation, localisation,
IFT767 - Théorie de la RÉPARTITION DE LA transfert de style, etc. Réseaux de neurones
complexité CHARGE DE TRAVAIL récurrents et applications à l'analyse de
texte. Modèles génératifs adversaires et
3-0-6
réseaux de neurones non supervisés : auto-
encodeurs et auto-encodeurs variationnels.
Sommaire Cible(s) de formation Bonnes pratiques : transfert d'entraînement,
CYCLE augmentation de données, normalisation,
Approfondir et maîtriser un sujet choisi en méthodes d'entraînement modernes,
2e cycle informatique théorique. visualisation. Concepts avancés : modèles
CRÉDITS d'attention, autoML, compression,
Maîtrise en informatique
de la complexité et évaluer la complexité
intrinsèque d'un problème.
Sommaire
Contenu CYCLE
2e cycle
IFT781 - Théorie des
Modèles de calculs séquentiels et parallèles.
Mesures de la complexité : temps, espace,
automates et des
CRÉDITS
nombre de processeurs. Hiérarchie des
3 crédits
langages formels
classes de complexité : NC, P, NP, Pespace.
Notions afférentes : décidabilité, non- FACULTÉ/CENTRE
déterminisme, oracles, complétude. Calcul de
Faculté des sciences Sommaire
bornes inférieures.
CYCLE
RÉPARTITION DE LA
2e cycle
Programmes offrant cette CHARGE DE TRAVAIL
activité pédagogique 3-0-6 CRÉDITS
USherbrooke.ca/admission 19
3 crédits réduction de graphe des langages Cible(s) de formation
fonctionnels types et des langages
FACULTÉ/CENTRE Connaître les concepts des approches
fonctionnels à objets; être capable de
Faculté des sciences réécrire en lambda-calcul des expressions orientées objets; concevoir le
développement de systèmes informatiques
RÉPARTITION DE LA d'un langage fonctionnel, d'écrire un
dans une optique orientée objets; comparer
CHARGE DE TRAVAIL vérificateur de type, d'appliquer des
des méthodes et outils orientés objets afin
méthodes d'optimisation à la réduction de
3-0-6 de pouvoir choisir ceux qui conviennent le
graphe et enfin d'utiliser correctement ces
mieux dans le développement de systèmes
concepts lors d'une implantation particuliers.
Cible(s) de formation d'extensions objets.
Maîtrise en informatique
Programmes offrant cette
activité pédagogique IFT800 - Algorithmique
(cours)
IFT783 - Implantation Doctorat en informatique
Sommaire
des langages de CYCLE
programmation 2e cycle
CYCLE FACULTÉ/CENTRE
2e cycle Faculté des sciences
CRÉDITS
Sommaire RÉPARTITION DE LA
CYCLE CHARGE DE TRAVAIL
3 crédits
2e cycle 3-0-6
FACULTÉ/CENTRE
Faculté des sciences CRÉDITS
3 crédits Cible(s) de formation
RÉPARTITION DE LA
CHARGE DE TRAVAIL FACULTÉ/CENTRE Acquérir une connaissance approfondie des
3-0-6 techniques de conception et d'analyse de
Faculté des sciences
performance des algorithmes.
RÉPARTITION DE LA
Cible(s) de formation CHARGE DE TRAVAIL
Contenu
Se familiariser avec la compilation par 3-0-6 Notions avancées en développement et
USherbrooke.ca/admission 20
analyse d'algorithmes. Problèmes sans
recherche II Contenu
solution polynomiale. Algorithmes
d'approximation - approches combinatoires Présentation d'au moins un séminaire par la
et par programmation linéaire. Algorithme à candidate ou le candidat. Critique et
complexité paramétrée - construction de Sommaire évaluation des présentations offertes par les
noyau (kernelisation), branchement borné et CYCLE collègues.
autres techniques. 3e cycle
Cible(s) de formation
IFT819 - Activités de
recherche
Critiquer et évaluer des présentations
IFT802 - Séminaire de scientifiques; réaliser une présentation orale. complémentaire I
USherbrooke.ca/admission 21
Sommaire dernières étapes de la démarche
CYCLE scientifique.
2e cycle
Contenu IFT889 - Proposition de
CRÉDITS
Poursuite du projet de recherche résultant thèse
3 crédits des Activités de recherche en informatique II,
FACULTÉ/CENTRE selon les besoins. Au terme de l'activité,
USherbrooke.ca/admission 22
Faculté des sciences recherche; valider les hypothèses de travail
et les approches méthodologiques.
Contenu FACULTÉ/CENTRE
validation RÉPARTITION DE LA
IGL734 - Méthodes CHARGE DE TRAVAIL
3-0-6
formelles de
Sommaire
spécification CYCLE Cible(s) de formation
2e cycle
Approfondir les modèles utilisés pour
l'imagerie numérique; être au courant des
Sommaire CRÉDITS
recherches; être capable de développer des
3 crédits
CYCLE applications réelles.
2e cycle FACULTÉ/CENTRE
Contenu
Faculté des sciences
CRÉDITS
Fondements de l'image, filtrage, modèles
3 crédits RÉPARTITION DE LA
statistiques, modèles algébriques, modèles
CHARGE DE TRAVAIL
physiques.
FACULTÉ/CENTRE 3-0-6
Faculté des sciences
Programmes offrant cette
RÉPARTITION DE LA Cible(s) de formation activité pédagogique
CHARGE DE TRAVAIL (cours)
Connaître les principales approches utilisées
3-0-6 dans les techniques de vérification et de Doctorat en informatique
validation.
Maîtrise en informatique
Cible(s) de formation Contenu
Connaitre et comparer les grandes familles
Rappel sur la logique des prédicats et les
de méthodes de spécification formelle
(orientées état, orientées évènement,
logiques temporelles. Principales classes de IMN704 - Analyse de la
propriétés formelles des spécifications de
algébriques, hybrides) et les techniques de systèmes. Système de transition. Automate vidéo
preuve associées. de Büchi. Vérification de formules LTL.
Vérification de formules CTL. Équivalence et
Contenu abstraction. Réduction par ordre partiel. Sommaire
Vérification de propriétés sur des automates CYCLE
Bref rappel des outils mathématiques temporisés. Systèmes probabilistes. Étude de
(théorie des ensembles, logique des 2e cycle
différents outils de vérification.
prédicats du premier ordre, logiques CRÉDITS
temporelles). Étude de diverses méthodes
orientées état, orientées évènement,
Programmes offrant cette 3 crédits
USherbrooke.ca/admission 24
plan et en scènes. Création automatique de
résumés. Suivi d'objets. Édition.
IMN708 - IMN709 - Transmission
Compensation du mouvement. Super- Reconstruction et et codage des médias
résolution : interpolations temporelle et
spatiale. Applications au choix. analyse d'images numériques
médicales
Programmes offrant cette Sommaire
activité pédagogique CYCLE
(cours) Sommaire 2e cycle
Doctorat en informatique CYCLE
CRÉDITS
2e cycle
Maîtrise en informatique 3 crédits
CRÉDITS
FACULTÉ/CENTRE
3 crédits Faculté des sciences
FACULTÉ/CENTRE
USherbrooke.ca/admission 25
Faculté des sciences Contenu imagerie biomédicale
USherbrooke.ca/admission 27
Contenu CRÉDITS
3 crédits
Présentation d'au moins un séminaire par la
IMN802 - Séminaire de candidate ou le candidat. Critique et FACULTÉ/CENTRE
évaluation des présentations offertes par les
recherche en imagerie collègues.
Faculté des sciences
numérique II RÉPARTITION DE LA
CHARGE DE TRAVAIL
Programmes offrant cette
activité pédagogique 3-0-6
Sommaire (cours)
CYCLE Cible(s) de formation
Doctorat en informatique
3e cycle
Connaître et comprendre les notions et les
CRÉDITS résultats fondamentaux de la théorie des
catégories; savoir les appliquer dans divers
3 crédits
IMN804 - Séminaire de domaines des mathématiques.
FACULTÉ/CENTRE
Faculté des sciences
recherche en imagerie Contenu
numérique IV Catégories et foncteurs. Morphismes
Cible(s) de formation fonctoriels. Équivalences de catégories.
Foncteurs représentables, lemme d'Yoneda.
Critiquer et évaluer des présentations Sommaire Foncteurs adjoints. Limites inductives et
scientifiques; réaliser une présentation orale. CYCLE projectives. Catégories additives et foncteurs
additifs. Catégories abéliennes. Catégories
3e cycle
Contenu triangulées et catégories dérivées.
CRÉDITS
Présentation d'au moins un séminaire par la
candidate ou le candidat. Critique et
3 crédits Programmes offrant cette
activité pédagogique
évaluation des présentations offertes par les FACULTÉ/CENTRE (cours)
collègues.
Faculté des sciences
Doctorat en informatique
Programmes offrant cette Doctorat en mathématiques
activité pédagogique Cible(s) de formation
(cours) Critiquer et évaluer des présentations
Maîtrise en mathématiques
Contenu
MAT712 - Mesure et
IMN803 - Séminaire de
Présentation d'au moins un séminaire par la
candidate ou le candidat. Critique et
intégration
recherche en imagerie évaluation des présentations offertes par les
collègues.
numérique III Sommaire
CYCLE
Programmes offrant cette
activité pédagogique 2e cycle
Sommaire (cours) CRÉDITS
CYCLE
Doctorat en informatique 3 crédits
3e cycle
FACULTÉ/CENTRE
CRÉDITS Faculté des sciences
3 crédits
MAT711 - Théorie des RÉPARTITION DE LA
FACULTÉ/CENTRE CHARGE DE TRAVAIL
Faculté des sciences
catégories 3-0-6
USherbrooke.ca/admission 28
Contenu (cours) générale
Théorie abstraite de l'intégration. Mesures de Doctorat en informatique
Borel et théorème de représentation de
Riesz. Espaces Lp. Mesures complexes et Doctorat en mathématiques Sommaire
théorème de Radon-Nikodym. Intégration sur Maîtrise en informatique CYCLE
les espaces produits et le théorème de 2e cycle
Fubini. Différentiation. Maîtrise en mathématiques
CRÉDITS
USherbrooke.ca/admission 29
FACULTÉ/CENTRE Contenu représentations induites.
Faculté des sciences
Anneaux commutatifs et leurs modules.
Localisation : idéaux premiers, racine d'un
Programmes offrant cette
RÉPARTITION DE LA
idéal, anneaux et modules de fractions,
activité pédagogique
CHARGE DE TRAVAIL
anneaux locaux. Dépendance entière: clôture
(cours)
3-0-6
intégrale, théorème de montée. Anneaux et
Doctorat en informatique
modules noethériens, anneaux de polynômes
sur un anneau noethérien. Ensembles Doctorat en mathématiques
Cible(s) de formation
algébriques affines, théorème des zéros de
Maîtrise en mathématiques
Se familiariser avec un domaine de l'algèbre Hilbert, ensembles algébriques irréductibles
privilégié par des travaux de recherche et idéaux premiers, propriétés des courbes
planes, dimension des variétés. Applications.
récents.
Doctorat en mathématiques
Sommaire
CYCLE
Programmes offrant cette Maîtrise en mathématiques 2e cycle
activité pédagogique
(cours) CRÉDITS
3 crédits
Doctorat en informatique
MAT731 - Groupes et FACULTÉ/CENTRE
Doctorat en mathématiques
représentations des Faculté des sciences
Maîtrise en mathématiques
groupes RÉPARTITION DE LA
CHARGE DE TRAVAIL
3-0-6
Sommaire
MAT729 - Algèbre CYCLE
commutative et 2e cycle
Cible(s) de formation
géométrie algébrique CRÉDITS Connaître et maîtriser les techniques
homologiques de calcul algébrique; savoir
3 crédits
les appliquer dans divers domaines de
FACULTÉ/CENTRE l'algèbre, de la topologie algébrique ou de la
Sommaire Faculté des sciences géométrie algébrique.
CYCLE
2e cycle RÉPARTITION DE LA Contenu
CHARGE DE TRAVAIL
CRÉDITS Catégories et foncteurs, anneaux et modules.
3-0-6
Les foncteurs Hom et produit tensoriel,
3 crédits
exactitude et adjonction. Modules libres,
FACULTÉ/CENTRE Cible(s) de formation projectifs et injectifs. Anneaux définis par
leurs propriétés homologiques. Foncteurs
Faculté des sciences Connaître et comprendre la structure des dérivés, foncteurs d'extension et de torsion.
groupes finis; acquérir les éléments de la Dimensions homologiques de modules et
RÉPARTITION DE LA
théorie des représentations des groupes, d'anneaux. Homologie et cohomologie des
CHARGE DE TRAVAIL
ainsi que les notions de groupes libres et de algèbres.
3-0-6 produits libres.
USherbrooke.ca/admission 30
Sommaire Cible(s) de formation
CYCLE
Maîtriser les concepts et acquérir les notions
MAT737 - Surfaces de 2e cycle de base en analyse fonctionnelle; connaître
les théorèmes fondamentaux et être capable
Riemann CRÉDITS
de les appliquer dans différents domaines de
3 crédits l'analyse mathématique.
FACULTÉ/CENTRE Contenu
Sommaire Faculté des sciences
CYCLE Espaces de Hilbert, espaces de Banach,
2e cycle RÉPARTITION DE LA algèbres de Banach. Étude particulière de
CHARGE DE TRAVAIL l'algèbre des opérateurs sur un espace de
CRÉDITS 3-0-6 Hilbert. Espace de Banach des fonctions à
3 crédits variation bornée et intégrale de Stieltjes.
Fonctionnelles linéaires. Théorème de
FACULTÉ/CENTRE Cible(s) de formation représentation de Riesz. Théorèmes de
Faculté des sciences Hahn-Banach, de la borne uniforme et du
Maîtriser les concepts reliés à la géométrie graphe fermé. Topologies faibles. Convexité :
RÉPARTITION DE LA computationnelle en vue des applications théorèmes de séparation, inégalité de
CHARGE DE TRAVAIL dans des domaines connexes. Jensen, théorème de Krein-Milman.
3-0-6
Contenu Programmes offrant cette
Triangulation de polygones. Partitionnement
activité pédagogique
Cible(s) de formation (cours)
de polygones. Enveloppe convexe dans le
Étudier et appliquer les principales notions plan et dans l'espace. Diagramme de Doctorat en informatique
des surfaces de Riemann. Approfondir ses Voronoï. Arrangements. Recherche de points
Doctorat en mathématiques
connaissances sur les résultats particuliers et intersections de figures.
fondamentaux découlant des surfaces de Maîtrise en mathématiques
Riemann. Programmes offrant cette
activité pédagogique
Contenu (cours)
Surfaces de Riemann compactes. Structures
MAT748 - Sujets choisis
Doctorat en informatique
complexes engendrées par une métrique. en analyse
Applications holomorphes. Revêtements Doctorat en mathématiques
ramifiés de la sphère de Riemann. Topologie
Maîtrise en informatique
et formes différentielles sur les surfaces de Sommaire
Riemann. Différentielles abéliennes; variétés Maîtrise en mathématiques CYCLE
de Jacobi. Fonctions méromorphes sur les
2e cycle
surfaces de Riemann compactes. Théorème
d'Abel. Théorème de Riemann-Roch; CRÉDITS
diviseurs spéciaux et points de Weierstrass, MAT745 - Analyse 3 crédits
problème d'inversion de Jacobi. Fonctions
thêta, diviseur thêta. fonctionnelle I FACULTÉ/CENTRE
Faculté des sciences
RÉPARTITION DE LA
Contenu
MAT744 - Géométrie CHARGE DE TRAVAIL Le sujet traité dépend de l'intérêt des
computationnelle 3-0-6 étudiantes et étudiants et des personnes
USherbrooke.ca/admission 31
ressources au Département.
MAT761 - Théorie des FACULTÉ/CENTRE
Faculté des sciences
Programmes offrant cette codes
RÉPARTITION DE LA
activité pédagogique CHARGE DE TRAVAIL
(cours)
Sommaire 3-0-6
Doctorat en informatique CYCLE
Doctorat en mathématiques 2e cycle Cible(s) de formation
Maîtrise en mathématiques CRÉDITS Approfondir les notions reliées à la topologie
vues au cours de premier cycle.
3 crédits
FACULTÉ/CENTRE Contenu
MAT749 - Équations aux Faculté des sciences
Propriétés élémentaires des complexes
simpliciaux; subdivisions. Homologies
dérivées partielles RÉPARTITION DE LA
CHARGE DE TRAVAIL simpliciale et singulière. Invariance.
Équivalence de ces homologies dans le cas
3-0-6
des polyèdres. Suites de Mayer-Vietoris.
Sommaire Applications: les espaces Rn, théorèmes de
CRÉDITS
résultats. Programmes offrant cette
activité pédagogique
3 crédits Contenu (cours)
FACULTÉ/CENTRE Codes linéaires, codes non-linéaires, Doctorat en informatique
Faculté des sciences matrices de Hadamard, configurations
combinatoires et codes de Golay, codes Doctorat en mathématiques
RÉPARTITION DE LA duaux et distribution des poids, théorème de Maîtrise en informatique
CHARGE DE TRAVAIL MacWilliams, les quatre paramètres
3-0-6 fondamentaux d'un code, codes cycliques, Maîtrise en mathématiques
codes BCH, codes de Reed-Solomon et de
Justesen, codes de Reed-Muller, codes
Cible(s) de formation résidu-quadratiques, bornes sur la grosseur
FACULTÉ/CENTRE
Programmes offrant cette MAT813 - Topologie Faculté des sciences
activité pédagogique
(cours) algébrique RÉPARTITION DE LA
CHARGE DE TRAVAIL
Doctorat en informatique 3-0-6
Doctorat en mathématiques Sommaire
CYCLE
Maîtrise en informatique Cible(s) de formation
2e cycle
Maîtrise en mathématiques Connaître les méthodes modernes de théorie
CRÉDITS des représentations des algèbres de
3 crédits dimension finie sur un corps; acquérir le plus
USherbrooke.ca/admission 32
large éventail possible de résultats et de algèbre de Lie. Systèmes différentiels et activité pédagogique
méthodes. théorème de Frobenius. Notion de groupe de (cours)
Lie et exemples. Caractérisation et
Contenu homomorphisme de groupes de Lie. Algèbre Doctorat en informatique
de Lie d'un groupe de Lie. Sous-groupes à un
Carquois d'une algèbre, représentations Maîtrise en informatique
paramètre, application exponentielle et
d'algèbres héréditaires, théorie d'Auslander -
coordonnées canoniques. Détermination
Reiten, ensembles partiellement ordonnés et
d'un groupe de Lie par son algèbre de Lie et
catégories d'espaces vectoriels, revêtements
formules de Campbell-Hausdorff. Sous-
d'une algèbre, algèbres auto-injectives,
théorie de l'inclinaison.
groupe de Lie et groupe linéaire général ROP771 -
GL(n,R). Groupe linéaire adjoint.
Programmation
Programmes offrant cette mathématique
activité pédagogique Programmes offrant cette
(cours) activité pédagogique
(cours)
Doctorat en informatique Sommaire
Doctorat en informatique
Doctorat en mathématiques CYCLE
Doctorat en mathématiques 2e cycle
Maîtrise en mathématiques
Maîtrise en mathématiques CRÉDITS
3 crédits
FACULTÉ/CENTRE
Contenu
FACULTÉ/CENTRE
Faculté des sciences Faculté des sciences Programmation linéaire: convergence du
simplexe, théorie de la dualité. Algorithmes
RÉPARTITION DE LA RÉPARTITION DE LA polynomiaux (Karmarkar et autres).
CHARGE DE TRAVAIL CHARGE DE TRAVAIL Programmation non linéaire: ensembles et
3-0-6 3-0-6 fonctions convexes. Théorèmes
d'alternatives. Conditions d'optimalité.
Dualité lagrangienne. Programmation
Cible(s) de formation Cible(s) de formation structurée: restriction et génération de
Acquérir une vue synthétique de la Tout en développant son expertise, prendre colonnes. Relaxation et génération de
géométrie différentielle, de la topologie et conscience de l'interaction entre différents contraintes. Relaxation lagrangienne et
de l'algèbre tout en se familiarisant avec des aspects de la recherche opérationnelle de lagrangien augmenté.
outils applicables à divers domaines des façon à en dégager une unité fondamentale
mathématiques et de la physique moderne. par l'étude de thèmes choisis portant, par Programmes offrant cette
exemple, sur la programmation dynamique, activité pédagogique
Contenu la programmation stochastique, les réseaux, (cours)
la gestion des stocks, la programmation
Rappel sur le calcul différentiel des fonctions
continue ou discrète et les files d'attente; Doctorat en informatique
à plusieurs variables réelles. Notion de
acquérir une expertise technique et une
variété différentiable et exemples. Variété Doctorat en mathématiques
produit. Espaces vectoriels tangents.
capacité à utiliser, implanter et développer
des méthodes propres à la recherche Maîtrise en informatique
Applications différentiables. Différentielle
d'une application et règle de chaîne. Sous- opérationnelle.
Maîtrise en mathématiques
variétés, difféo-morphismes et théorème
d'inversion locale. Champs de vecteurs et Programmes offrant cette
USherbrooke.ca/admission 33
ROP781 - Sujets choisis RÉPARTITION DE LA Programmes offrant cette
CHARGE DE TRAVAIL activité pédagogique
en recherche 3-0-6 (cours)
opérationnelle Doctorat en informatique
Cible(s) de formation
Doctorat en mathématiques
Sommaire Les sujets traités sont fonction des Maîtrise en informatique
CYCLE développements récents en programmation
linéaire et dépendent des sujets de Maîtrise en mathématiques
2e cycle
recherche des étudiantes et étudiants de
CRÉDITS même que des personnes ressources au
3 crédits Département.
FACULTÉ/CENTRE
STT701 - Probabilités
Faculté des sciences
Programmes offrant cette
activité pédagogique
RÉPARTITION DE LA (cours) Sommaire
CHARGE DE TRAVAIL CYCLE
Doctorat en informatique
3-0-6 2e cycle
CRÉDITS
Cible(s) de formation
3 crédits
Acquérir une vision d'ensemble de la ROP831 - Algorithmes en
FACULTÉ/CENTRE
recherche opérationnelle en identifiant et
comprenant les interactions entre différents
programmation non Faculté des sciences
aspects de celle-ci; développer une expertise linéaire RÉPARTITION DE LA
dans le domaine.
CHARGE DE TRAVAIL
Contenu 3-0-6
Sommaire
Étude de thèmes choisis portant, par CYCLE
exemple, sur la programmation dynamique, 2e cycle Cible(s) de formation
la programmation stochastique, les réseaux,
la gestion des stocks, la programmation CRÉDITS Comprendre et être en mesure d'utiliser les
continue ou discrète, les files d'attente. techniques de calcul d'espérances
3 crédits
conditionnelles et celles liées à la
manipulation de la convergence étroite en
Programmes offrant cette FACULTÉ/CENTRE
activité pédagogique Faculté des sciences théorie des probabilités.
(cours)
RÉPARTITION DE LA Contenu
Doctorat en informatique CHARGE DE TRAVAIL
Révision de la théorie des probabilités.
3-0-6
Espérances conditionnelles. Martingales à
temps discret et théorème de convergence
USherbrooke.ca/admission 35
Faculté des sciences 2e cycle Sommaire
RÉPARTITION DE LA CYCLE
CRÉDITS
CHARGE DE TRAVAIL 2e cycle
3 crédits
3-0-6 CRÉDITS
FACULTÉ/CENTRE
3 crédits
Faculté des sciences
Cible(s) de formation
FACULTÉ/CENTRE
RÉPARTITION DE LA
Approfondir ses connaissances en statistique Faculté des sciences
CHARGE DE TRAVAIL
en utilisant l'approche de la théorie de la
décision statistique et de l'analyse 3-0-6 RÉPARTITION DE LA
bayésienne. CHARGE DE TRAVAIL
3-0-6
Contenu Cible(s) de formation
Acquérir les notions et les outils de base Cible(s) de formation
Concepts de base d'un problème de décision
statistique et d'analyse bayésienne. Lois propres à l'étude des séries chronologiques
apriori et aposteriori. Fonctions de coût. et faire le lien avec l'étude des processus Compléter et approfondir ses connaissances
Règles aléatoires, règles de Bayes, règles stochastiques. en statistique mathématique.
minimax et maximin. Notions d'admissibilité
et de dominance. Exhaustivité. Règles de Contenu Contenu
décision invariantes. Sujets choisis parmi
Processus stochastiques (généralités). Fonctions de variables aléatoires, fonction
l'estimation de Stein, l'estimation sous
Description et caractéristiques des séries génératrice des moments, quelques
contraintes, l'estimation par intervalles et les
chronologiques. Transformées de Fourier. inégalités et identités en probabilité, familles
tests d'hypothèses.
Analyse statistique des séries de distributions dont la famille
chronologiques. Analyse spectrale des exponentielle, vecteurs aléatoires, loi
Programmes offrant cette processus linéaires. Lissage des estimateurs multinormale, espérances conditionnelles,
activité pédagogique spectraux. mélanges et modèles hiérarchiques.
(cours) Théorèmes de convergence, méthodes de
simulation, statistiques d'ordre, exhaustivité,
Doctorat en informatique Programmes offrant cette vraisemblance. Estimation ponctuelle et par
Doctorat en mathématiques
activité pédagogique intervalles : construction d'estimateurs et
(cours) critères d'évaluation, méthodes bayésiennes.
Maîtrise en informatique Normalité asymptotique et efficacité relative
Doctorat en informatique asymptotique.
Maîtrise en mathématiques
Doctorat en mathématiques
Maîtrise en informatique
Programmes offrant cette
activité pédagogique
STT723 - Séries Maîtrise en mathématiques (cours)
chronologiques Doctorat en informatique
Doctorat en mathématiques
Sommaire
STT751 - Statistique Maîtrise en informatique
USherbrooke.ca/admission 36