Structure de formation
Faculté des Sciences
Présentation
Programme
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
Logique du premier ordre
ECTS
5 crédits
Structure de formation
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
Structure de formation
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
Structure de formation
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
Structure de formation
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
Structure de formation
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
Structure de formation
Faculté des Sciences
Théorie des Probabilités
ECTS
4 crédits
Structure de formation
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
Structure de formation
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
Structure de formation
Faculté des Sciences
Ce module explore quelques sujets avancés en conception et analyse d’algorithmes.
Complexité, calculabilité, décidabilité
ECTS
5 crédits
Structure de formation
Faculté des Sciences
Topologie des espaces métriques
ECTS
7 crédits
Structure de formation
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
Structure de formation
Faculté des Sciences
Groupes et anneaux 2
ECTS
5 crédits
Structure de formation
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
Structure de formation
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
Structure de formation
Faculté des Sciences
Projet de programmation
ECTS
5 crédits
Structure de formation
Faculté des Sciences