Structure de formation
Faculté des Sciences
Présentation
Programme
Sélectionnez un programme
L3 - Informatique
Systèmes d’information et Bases de données 2
5 créditsLogique du premier ordre
5 créditsExposés
2 créditsCalcul formel et scientifique
4 créditsAnglais S5
2 créditsAteliers de génie logiciel
5 créditsAlgorithmique 4
5 créditsPréprofessionalisation en informatique
2 crédits
Complexité, calculabilité, décidabilité
5 créditsVérification
5 créditsProgrammation multitâches
5 créditsDonnées multimédia
5 créditsAnalyse syntaxique et interprétation
5 créditsProjet de programmation
5 crédits
L3 - Double informatique Mathématiques
Logique du premier ordre
5 créditsCalcul Différentiel et Equations Différentielles
6 créditsCalcul formel et scientifique
4 créditsGroupes et anneaux 1
6 créditsMesure et intégration
4 créditsAnglais S5
2 créditsThéorie des Probabilités
4 créditsAteliers de génie logiciel
5 créditsAlgorithmique 4
5 crédits
Complexité, calculabilité, décidabilité
5 créditsTopologie des espaces métriques
7 créditsDonnées multimédia
5 créditsGroupes et anneaux 2
5 créditsOptimisation convexe
5 créditsAnalyse syntaxique et interprétation
5 créditsProjet de programmation
5 crédits
Systèmes d’information et Bases de données 2
ECTS
5 crédits
Composante
Faculté des Sciences
D’un point de vue théorique, les notions et concepts abordes aborderont les thèmes suivants :
-
Conception de bases de données : extension du modèle E/A et UML.
-
Dépendances fonctionnelles et normalisation (fermeture transitive, couverture
minimale, dépendances multivaluées, algorithme de Chase, les différentes formes
normales, etc.).
-
Compléments SQL : langage de manipulation de données (requêtes complexes),
langage de définition de données, langage de contrôle de données
-
Transactions
-
Langage procédural
-
Trigger
-
Index et optimisation
D’un point de vue pratique, le système de gestion de base de données lors des enseignements sera Oracle. Dans le cadre du projet, d’autres systèmes comme MySQL ou Postgres pourront être utilisés.
Logique du premier ordre
ECTS
5 crédits
Composante
Faculté des Sciences
Ce cours se propose d’introduire la logique du premier ordre, appelée aussi calcul des prédicats.
Exposés
ECTS
2 crédits
Composante
Faculté des Sciences
L’objectif de cette UE est de faire intervenir au sein de la même séance des chercheurs et des industriels travaillant dans un domaine spécifique de l’informatique. Les thèmes abordés couvriront tout le spectre de l’informatique tout en se focalisant sur les parcours proposés dans les masters du département Informatique :
-
Master Informatique : parcours IASD, Imagine, Algorithmique, GL et RIC,
-
Master BioInformatique
Calcul formel et scientifique
ECTS
4 crédits
Composante
Faculté des Sciences
L’objectif de ce module est d’appréhender l’utilisation du calcul formel et numérique à la fois dans l’expérimentation mathématique et dans l’aide à la résolution de certains problèmes en informatique.
Anglais S5
ECTS
2 crédits
Composante
Faculté des Sciences
Ateliers de génie logiciel
ECTS
5 crédits
Composante
Faculté des Sciences
Cette unité d’enseignement vise à l’initiation à des environnements logiciels nécessaires à un développement moderne. Seront ainsi abordés les environnements de gestion de version, de modélisation, de développement de tests, de virtualisation, d’intégration continue, etc.
Algorithmique 4
ECTS
5 crédits
Composante
Faculté des Sciences
Ce module explore quelques sujets avancés en conception et analyse d’algorithmes.
Préprofessionalisation en informatique
ECTS
2 crédits
Composante
Faculté des Sciences
Pour définir un projet professionnel, il est nécessaire de connaître le marché de l’emploi et les secteurs d’activités, d’identifier des métiers, des emplois, d’argumenter sur son parcours formant et de commencer à tisser son réseau. Ce module va permettre aux étudiants de construire et présenter un projet professionnel en accord avec le marché du travail et sa formation. Ce module abordera également des compétences plus générales de communication permettant notamment la restitution de travaux et d’informations, à l’oral comme à l’écrit.
Complexité, calculabilité, décidabilité
ECTS
5 crédits
Composante
Faculté des Sciences
Vérification
ECTS
5 crédits
Composante
Faculté des Sciences
Programmation multitâches
ECTS
5 crédits
Composante
Faculté des Sciences
Données multimédia
ECTS
5 crédits
Composante
Faculté des Sciences
Analyse syntaxique et interprétation
ECTS
5 crédits
Composante
Faculté des Sciences
Projet de programmation
ECTS
5 crédits
Composante
Faculté des Sciences
Logique du premier ordre
ECTS
5 crédits
Composante
Faculté des Sciences
Ce cours se propose d’introduire la logique du premier ordre, appelée aussi calcul des prédicats.
Calcul Différentiel et Equations Différentielles
ECTS
6 crédits
Composante
Faculté des Sciences
Dans une première partie : approfondir les notions de base du calcul différentiel vues en L2.
Dans une seconde partie : introduire l’étude qualitative des équations différentielles.
Calcul formel et scientifique
ECTS
4 crédits
Composante
Faculté des Sciences
L’objectif de ce module est d’appréhender l’utilisation du calcul formel et numérique à la fois dans l’expérimentation mathématique et dans l’aide à la résolution de certains problèmes en informatique.
Groupes et anneaux 1
ECTS
6 crédits
Composante
Faculté des Sciences
Acquérir les notions de base des théories des groupes et des anneaux et les illustrer sur des exemples.
Mesure et intégration
ECTS
4 crédits
Composante
Faculté des Sciences
Acquérir les bases de la théorie de la mesure et de l’intégration.
Anglais S5
ECTS
2 crédits
Composante
Faculté des Sciences
Théorie des Probabilités
ECTS
4 crédits
Composante
Faculté des Sciences
Illustrer avec un point de vu probabiliste les notions vue dans l'UE « mesure - intégration - Fourier », et introduire les outils nécessaires aux étudiants qui suivront l'UE de Modélisation Stochastique au second semestre de L3.
Ateliers de génie logiciel
ECTS
5 crédits
Composante
Faculté des Sciences
Cette unité d’enseignement vise à l’initiation à des environnements logiciels nécessaires à un développement moderne. Seront ainsi abordés les environnements de gestion de version, de modélisation, de développement de tests, de virtualisation, d’intégration continue, etc.
Algorithmique 4
ECTS
5 crédits
Composante
Faculté des Sciences
Ce module explore quelques sujets avancés en conception et analyse d’algorithmes.
Complexité, calculabilité, décidabilité
ECTS
5 crédits
Composante
Faculté des Sciences
Topologie des espaces métriques
ECTS
7 crédits
Composante
Faculté des Sciences
Introduire les notion de base de la topologie et leur utilisation pour l’étude des espaces fonctionnels.
Données multimédia
ECTS
5 crédits
Composante
Faculté des Sciences
Groupes et anneaux 2
ECTS
5 crédits
Composante
Faculté des Sciences
Approfondir les notions de base des théories des groupes et des anneaux vues au semestre précédent.
Optimisation convexe
ECTS
5 crédits
Composante
Faculté des Sciences
Acquérir les notions élémentaires en optimisation mathématique et ses applications.
Analyse syntaxique et interprétation
ECTS
5 crédits
Composante
Faculté des Sciences
Projet de programmation
ECTS
5 crédits
Composante
Faculté des Sciences