Structure de formation
Faculté des Sciences
Langue(s) d'enseignement
Français
Programme
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
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