Annuaire de premier cycle 2011 - 2012
Mathématiques et informatique
Les cours 400-499
MAF406 Analyse mathématique avancée, partie I
MAF407 Analyse mathématique avancée, partie II
MAF408 Analyse numérique
MAF413 Physique mathématique
MAF415 Géométrie différentielle
MAF420 Projet de fin d'études
MAF429 Anneaux et corps
MAF451 Sujets choisis de mathématiques
MAF452 Modéles probabilistiques en Recherche opérationnelle
MAF456 Modélisation mathématique
INF411 Concepts avancés de base de données et applications
INF420 Projet de fin d'études
INF444 Programmation avancée
INF451 Sujets choisis en science informatique
INF453 Modelage et Simulation
INF472 Fondements de l'intelligence artificielle
INF475 Algorithmes génétiques et réseaux de neurones
MAF406 Analyse mathématique avancée - Partie I
Ce cours a comme but principal de présenter une première partie d'un groupe de notions fondamentales de l'analyse mathématique moderne ainsi que certains résultats qui sont nécessaires en analyse appliquée. Ce cours est une base incontournable pour tout individu intéressé à poursuivre des études avancées dans des domaines tels que l'optimisation, la théorie des jeux, les systèmes dynamiques, les équations différentielles partielles, les équations intégrales, etc. Le contenu de ce cours constitue une bonne base pour plusieurs programmes de maîtrise ou de doctorat. Le matériel présenté est le suivant : Ce que tous devraient savoir sur les nombres réels, les espaces topologiques, les espaces métriques, l'intégrabilité au sens de Lebesgue ainsi que l'analyse convexe.
MAF407 Analyse mathématique avancée - Partie II
Ce cours a comme but principal de présenter la deuxième partie d'un groupe de notions fondamentales de l'analyse mathématique moderne ainsi que certains résultats qui sont nécessaires en analyse appliquée. La partie I de ce cours est un pré-requis. Ce cours est une base incontournable pour tout individu intéressé à poursuivre des études avancées dans des domaines tels que l'optimisation, la théorie des jeux, les systèmes dynamiques, les équations différentielles partielles, les équations intégrales, etc. Le contenu de ce cours constitue une bonne base pour plusieurs programmes de maîtrise ou de doctorat. Le matériel présenté est le suivant : les espaces de Banach et de Hilbert, les opérateurs linéaires entre des espaces de Hilbert, des théorèmes du point fixe ainsi que des inégalités variationnelles.
MAF408 Analyse numérique
Solutions des équations différentielles partielles paraboliques, elliptiques et hyperboliques, et méthodes pour traiter des conditions aux limites avec gradient. Introduction aux méthodes d'éléments finis. Calcul des zéros d'une fonction, optimisation et méthode du simplexe, techniques modernes de simulation Monte Carlo. D'autres sujets avancés seront ajoutés si le temps le permet.
MAF413 Physique mathématique
Représentation intégrale des fonctions spéciales de la physique. Fonctions hypergéométriques. Fonctions de Green à une et à plusieurs dimensions. Solution d'équations intégrales. Autres sujets de physique mathématique, si le temps le permet.
Des logiciels informatiques traitant des calculs numériques et symboliques seront utilisés.
MAF415 Géométrie différentielle
La géométrie est à la base de notre compréhension des lois fondamentales de la nature, que ce soit à l'échelle de l'Univers ou à celle des particules élémentaires. Le but de ce cours est de servir d'introduction à cet outil unificateur. Les sujets comprendront : une revue du formalisme lagrangien ; une introduction aux variétés différentiables, aux groupes de transformations globales et locales ainsi qu'à certaines de leurs représentations tensorielles. On introduira ensuite les espaces fibrés, les connexions et les courbures, puis les métriques et les connections métriques. Ces concepts seront ensuite utilisés pour la construction de lagrangiens et l'étude des géodésiques. Le cours se terminera par l'étude d'applications correspondant aux intérêts des élèves en Relativité Générale (par exemple les trous noirs et les cordes cosmiques) ou en modélisation de particules élémentaires. Des exemples et des exercices seront donnés qui utiliseront les outils de géométrie différentielle du logiciel Maple.
MAF420 Projet de fin d'études
Ce cours donne à l'étudiant la possibilité d'étudier plus en profondeur un sujet scientifique qui l'intéresse particulièrement. Ceci peut être accompli de plusieurs façons selon le domaine d'intérêt. Parfois, l'étudiant peut être associé à un groupe de recherche en mathématiques et avoir la responsabilité d'une partie du projet. Dans d'autres cas, l'étudiant peut choisir un programme d'études indépendant sous la direction d'un membre du corps enseignant. Dans tous les cas, les progrès de l'étudiant seront contrôlés et un rapport intérimaire devra être soumis par l'étudiant à la fin du semestre d'automne. La note finale sera basée, d'une part, sur une évaluation du projet par le directeur et, d'autre part, sur une présentation orale faite aux étudiants du programme de sciences avec spécialisation et au comité professoral d'évaluation.
MAF429 Anneaux et corps
Anneaux, anneaux de polynêomes, homomorphismes. Domaines Euclidiens et domaines principaux. Domaines de factorisation uniques. Corps, extensions de corps, corps nis et applications.
MAF451 Sujets choisis de mathématiques
Le but de ce cours est de permettre aux membres du département de transmettre aux étudiants une partie de leurs connaissances dans certains domaines des mathématiques qui ne sont enseignés dans aucun autre cours. Les étudiants devront faire des présentations et/ou soumettre un rapport écrit, selon le cas.
MAF452 Modéles probabilistiques en Recherche opérationnelle
Distributions conditionnelles ; fonctions génératrices des probabilités ; processus de Poisson ; rôle des distributions exponentielle et de Poisson dans des applications. Introduction aux processus stochastiques ; processus de vie et mort ; processus de renouvellement. Les chaines de Markov et leurs propriétés. Utilisation de logiciels pour résoudre des problèmes aléatoires dans des processus aleatoires variés.
MAF456 Modélisation mathématique
Modèles continus basés sur : équations différentielles ordinaires, systèmes d'équations différentielles ordinaires, équations aux dérivées partielles et équations intégrales. Modèles basés sur l'optimisation et sur le calcul des variations. Les modèles considérés seront illustrés par des exemples concrets et les méthodes numériques nécessaires seront indiquées. La dernière partie du cours est dédiée à l'étude qualitative des modèles mathématiques. Des modèles mathématiques pour problèmes militaires seront aussi considérés.
INF411 Concepts avancés de base de données et applications
Concurrence et reprise après panne ; aide à la décision ; systèmes orientés objet ; bases de données distribuées et architecture client/serveur ; bases de données actives et bases de données temporelles ; bases de données déductives ; entreposage des données et exploitation des données ; transactions ; étude de certaines applications telles : base de données du génome, bibliothèques numériques, GIS et les bases de données multimédia.
INF420 Projet
Ce cours donne à l'étudiant la possibilité d'étudier plus en profondeur un sujet scientifique qui l'intéresse particulièrement. Ceci peut être accompli de plusieurs façons selon le domaine d'intérêt. Parfois, l'étudiant peut être associé à un groupe de recherche en informatique et avoir la responsabilité d'une partie du projet. Dans d'autres cas, l'étudiant peut choisir un programme d'études indépendant sous la direction d'un membre du corps enseignant. Dans tous les cas, les progrès de l'étudiant seront contrôlés et un rapport intérimaire devra être soumis par l'étudiant à la fin du semestre d'automne. La note finale sera basée, d'une part, sur une évaluation du projet par le directeur et, d'autre part, sur une présentation orale faite aux étudiants du programme de sciences avec spécialisation et au comité professoral d'évaluation.
INF444 Programmation avancée
Une série d'exercices de laboratoire pour introduire l'étudiant aux concepts de base sur les multitraitement, le traitement multiprocessus, la communication interprocessus, les systèmes répartis, le traitement parallèle, la connexion logicielle, le modèle client/serveur, le réseautage, les protocoles UDP et TCP, les protocoles de routage, la sécurité web, les notions de base de cryptographie, les pare-feux.
INF451 Sujets choisis en science informatique
Le but de ce cours est de permettre aux membres du département de transmettre aux étudiants une partie de leurs connaissances dans certains domaines d'informatique qui ne sont enseignés dans aucun autre cours. On pourra demander aux étudiants de travailler sur des projets de logiciels. Les étudiants devront faire des présentations et /ou soumettre un rapport écrit, selon le cas.
INF453 Modélisation et simulation.
Les étudiants qui complètent ce cours seront capables d'appliquer la simulation informatique à la solution de problèmes. Ils sauront décrire les procédures utilisées en modélisation et en simulation, comment structurer puis vérifier des modèles de systèmes complexes et concevoir des expériences sur ces modèles (les simulations) et des outils de vérification et de validation de ces modèles. Ils seront exposés à des applications complexes et pourront résoudre des problèmes en utilisant diverses techniques en modélisation et simulation. Finalement, les étudiants pourront utiliser leurs connaissances pour résoudre des problèmes reliés à la défense.
INF472 Fondements de l'intelligence artificielle
Ce cours offre une introduction aux fondements de l'intelligence artificielle (IA). Introduction au concept d'agents intelligents. Revue des méthodes de solution des problèmes de recherche et de jeu. Étude du problème de la connaissance et de la représentation de la connaissance par la logique propositionnelle et la logique du premier ordre. Langages de programmation comme Prolog/Clips/JESS et leur utilisation pour bâtir des systèmes experts. Problème de la connaissance et du raisonnement avec incertitude. Apprentissage des machines avec des méthodes statistiques et mathématiques. Son, vision des robots. Application de l'IA dans le domaine de la défense militaire.
INF475 Algorithmes génétiques et réseaux de neurones
Traitement de l'information génétique. Mécanismes naturels d'optimisation des espèces. Ordinateurs moléculaires. Algorithme de génétique artificielle. Réseaux de neurones. Éléments du fonctionnement des réseaux biologiques et de l'apprentissage. Réseaux artificiels : les modèles les plus importants dont le perceptron, l'adaline, les mémoires associatives, la rétro-propagation de l'erreur, le SOM de Kohonen, les réseaux à fonctions de base radiales, et plusieurs de leurs applications pratiques.
Le cours comprend deux périodes de laboratoire par semaine. Les étudiants apprendront à utiliser des logiciels commerciaux, et à écrire leurs propres programmes.
