Master Sciences et Technologie Mention Sciences et technologies de l'Information et de la communication SPECIALITE Informatique: parallelisme, verification, graphes, contraintes, apprentissage FINALITE Recherche
Master Sciences et Technologie Mention Sciences et technologies de l'Information et de la communication SPECIALITE Informatique: parallelisme, verification, graphes, contraintes, apprentissage FINALITE Recherche
ObjectifsLe Master Recherche en Informatique vise à former des étudiants à la Recherche et par la Recherche. La formation de seconde année est centrée sur les aspects fondamentaux de la programmation, la conception d'algorithmes, la validation des programmes et l'étude d'outils de preuves, la programmation parallèle, la réalité virtuelle, les contraintes et l'apprentissage automatique des connaissances.
Dirigé à1ère année : Les étudiants titulaires de la Licence STIC d'Orléans sont admis de droit en M1. Tout autre étudiant titulaire de - toute licence, de spécialité informatique générale (ou fondamentale) ou MIAGE d'une autre université française ou - tout diplôme étranger d'informatique générale (ou fondamentale) de niveau équivalent d'une licence et toute personne professionnelle de l'informatique dont le niveau de licence aura été reconnu par " validation des acquis et de l'expérience " par la commission de VAE de l'Université d'Orléans, doit constituer un dossier de demande d'inscription en M1. 2ème année : Tout étudiant titulaire de la première année du Master STIC d'Orléans qui souhaite poursuivre dans cette spécialité doit en avoir fait la demande (dossier simplifié). Son autorisation d'inscription ne sera proposée au Président de l'Université par la commission d'admission que si l'étudiant à reçu un avis favorable du jury de 1ère année pour une poursuite en M2 vers la spécialité IPVGCA. Tout autre étudiant titulaire de : - tout diplôme français ou étranger d'informatique générale ou d'informatique de gestion, de niveau correspondant à la première année du Master STIC (M1), ou - tout diplôme de mathématiques français ou étranger de niveau moins égal à la première année du Master et comportant suffisamment d'enseignements en informatique fondamentale.
DiplômeMaster Sciences et Technologie Mention Sciences et technologies de l\'Information et de la communication SPECIALITE Informatique: parallelisme, verification, graphes, contraintes, apprentissage FINALITE Recherche
Contenu Les études conduisant au Master Sciences et Technologie Mention Sciences et technologies de l'Information et de la communication SPECIALITE Informatique: parallelisme, verification, graphes, contraintes, apprentissage FINALITE Recherche sont organisées sur deux années universitaires constituées chacune de deux semestres d'enseignement sous la forme de parcours types de formation initiale et continue et valident 120 crédits.
* SEMESTRE 1 : SCIENCES ET TECHNOLOGIES DE L'INFORMATION ET DE LA COMMUNICATION (Obligatoire - 30 ects)
Six enseignements d'ossature valant respectivement 3, 3, 6, 6, 6, et 6 ects (Obligatoire à choix)
Bloc m1 s1 stic transitoire (Obligatoire à choix)
* SEMESTRE 2 : SCIENCES ET TECHNOLOGIES DE L'INFORMATION ET DE LA COMMUNICATION (Obligatoire - 30 ects)
Projet (Obligatoire - 50h - 3 ects)
Bases de données 3 (Obligatoire - 55h - 4 ects)
Réseaux 2 (Obligatoire - 40h - 4 ects)
Parallélisme (Obligatoire - 40h - 4 ects)
Compilation (Obligatoire à choix - 65h - 5 ects)
Intelligence artificielle (Obligatoire à choix - 55h - 5 ects)
Graphes et algorithmes (Obligatoire à choix - 65h - 5 ects)
Initiaiton à la recherche en informatique (Obligatoire à choix - 65h - 5 ects)
Compléments mathématiques pour l'informatique (Obligatoire à choix - 50h - 5 ects)
* SEMESTRE 3 : SCIENCES ET TECHNOLOGIES DE L'INFORMATION ET DE LA COMMUNICATION, SPECIALITE INFORMATIQUE : PARALLELISME, VERIFICATION, GRAPHES, CONTRAINTES, APPRENTISSAGE (Obligatoire - 30 ects)
Outils de preuve et vérification (Obligatoire - 15h - 2 ects)
Induction et point fixe (Obligatoire - 15h - 2 ects)
Algorithmque, performance et parallélisme (Obligatoire - 15h - 2 ects)
Calculabilité et complexité (Obligatoire - 15h - 2 ects)
Intelligence artificielle et heuristique (Obligatoire - 15h - 2 ects)
Apprentissage automatique (Obligatoire à choix - 30h - 5 ects)
Graphes et alorithmes (Obligatoire à choix - 30h - 5 ects)
Principes de la programmation en logique et par contraintes (Obligatoire à choix - 30h - 5 ects)
Parallélisme et réalité virtuelle (Obligatoire à choix - 30h - 5 ects)
Preuve, vérification et solidité (Obligatoire à choix - 30h - 5 ects)
Fouille de donnees & fouille de textes (Obligatoire - 40h - 5 ects)
* SEMESTRE 4 : SCIENCES ET TECHNOLOGIES DE L'INFORMATION ET DE LA COMMUNICATION, SPECIALITE INFORMATIQUE : PARALLELISME, VERIFICATION, GRAPHES, CONTRAINTES, APPRENTISSAGE (Obligatoire - 30 ects)