Licence 3 Informatique - semestre 6 - Options 16 novembre 2022
←
→
Transcription du contenu de la page
Si votre navigateur ne rend pas la page correctement, lisez s'il vous plaît le contenu de la page ci-dessous
Présentation Modèles et Outils Infrastructure Découverte Logiciel
Licence 3 Informatique - semestre 6
Options
Faculté des sciences
et technologies
16 novembre 2022
Présentation Modèles et Outils Infrastructure Découverte Logiciel
Calendrier
Dates importantes
Enseignements : du 3 janvier 2023 au 31 mars 2023
première semaine : emploi du temps spécifique
interruption pédagogique : du 18 février au 26 février
contrôles : entre le 3 et le 8 avril 2023 (inclus)
départ en stage : lundi 10 avril 2023
Choix des options
sur moodle à partir d’aujourd’hui
avant le 23 novembre 12H
Présentation Modèles et Outils Infrastructure Découverte Logiciel
Les Unités du S6
BCC 2 Développement Personnel et Professionnel
Préparation au stage (TEC/DPP/résumé anglais) 3 ECTS
Projet de l’étudiant : stage 3 ECTS
BCC 4 Mise en oeuvre de langages de programmation
Projet 6 ECTS
BCC 7 Approfondir ses connaissances disciplinaires
Approfondissement 12 ECTS
Infrastructure 6 ECTS
Réseaux 2 (RSX2) 3 ECTS
Au choix : Architecture ou Programmation des Systèmes+ (PDS+)
Logiciel 3 ECTS, au choix Génie Logiciel (GL) ou JavaScript Full Stack (JSFS)
Modèles et Outils 3 ECTS, au choix
Langages Algébriques et Analyse Syntaxique (LAAS) ou Logique
Approfondissement dans un domaine de l’informatique 3 ECTS
une matière au choix parmi LAAS, PDS, JSFS, GL non choisie précédemment
Option découverte 3 ECTS, au choix
Image et Interaction 2D (II2D)
Méta
Programmation des Machines (PdM)
BioInfo
Introduction au calcul haute performance (ICHP)
Machine Learning (MAL)
Présentation Modèles et Outils Infrastructure Découverte Logiciel
Choix : questionnaire moodle
1 premier choix : choisir une UE entre GL et JSFS, PDS et
ARCHI, LAAS et LOGIQUE
2 deuxième choix : choisir une UE entre GL, JSFS, PDS, LAAS
non sélectionnée au premier choix
3 choisir une option découverte
Nombre de groupes prévus :
Infrastructure : PDS 4 / ARCHI 3
Logiciel : GL 5 / JSFS 5
Modèles et Outils : Logique 3 / LAAS 4
Pour rappel
sur moodle.univ-lille.fr
cours « [L3 informatique parcours Info] Secrétariat pédagogique »
clé d’inscription hn42prPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Langages Algébriques et Analyse Syntaxique
On aborde des outils à la fois théoriques et pratiques de spécification
et d’analyse de textes. Ils viendront compléter les notions abordées
en «Automates et Langages Réguliers».
Les grammaires algébriques permettent de spécifier des
formes de texte qui ne pouvaient pas l’être par des expressions
régulières, notamment les structures utilisées classiquement
dans les langages de programmation ou de représentation de
données («parenthésage», «imbrication», ...)
L’analyse syntaxique est la mise en œuvre d’algorithmes
permettant de vérifier la conformité d’un texte à ces
spécifications et sa transformation en arbre (AST).
On utilisera un outil de génération automatique d’analyseur
syntaxique associé à des actions sémantiques.
Bruno Bogaert : bruno.bogaert@univ-lille.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Logique +
Théorie des types
Les programmes typés statiquement (Java, Haskell, . . .)
s’exécutent sans produire d’erreur (core dump, . . .).
Le typage induit des structures/architectures de programmation
(COO, Monad, . . .).
Des formes de typages avancées permettent d’assurer que les
programmes respectent leur spécification.Présentation Modèles et Outils Infrastructure Découverte Logiciel
Logique +
Apprentissage de Coq
Un langage de programmation fonctionnel.
Une logique très puissante : le caclul des constructions.
Un système qui permet de programmer et démontrer que les
programmes sont corrects.Présentation Modèles et Outils Infrastructure Découverte Logiciel
Logique +
Programme du cours
Programmation en Coq.
Typage d’ordre supérieur.
Programmation et démonstration.
Démonstration d’algorithmes implémentés en Coq.
Sylvain Salvati : sylvain.salvati@univ-lille.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Architecture des ordinateurs
Modèle de VN : de l’assembleur à la microprogrammation
Caches, mémoires et mémoire virtuelle
Introduction aux architectures parallèles
Objectifs
Comprendre les mécanismes de programmation de bas niveau
Lien avec les aspects systèmesPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Architecture des ordinateurs
Contenu
Structure générale des processeurs
Niveau assembleur
Micro architecture et micro programmation
Mémoires
Introduction aux architectures parallèles
Cours/TD/TP
Évaluation
DS écrit
TPs
Samy Meftali : samy.meftali@univ-lille.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Programmation des systèmes (PDS+)
PDS+ s’inscrit dans la continuité de PDS. L’objectif est d’apprendre à
utiliser une plus grande partie de l’interface POSIX.
Programme :
Processus (lourds)
Mécanismes de communication entre processus (tubes,
mémoire partagée, etc)
Approfondissements sur les fonctionnalités des processus
légers et leurs synchronisation
Giuseppe Lipari : giuseppe.lipari@univ-lille.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Option découverte
Image et Interaction 2D (II2D)
Méta
Programmation des Machines (PdM)
BioInfo
Introduction au calcul haute performance (ICHP)
Machine Learning (MAL)Présentation Modèles et Outils Infrastructure Découverte Logiciel
Image et Interaction 2D (II2D)
Projet encadré (cours/tps) décomposé en 2 parties :
Moteur particules 2D : génération, mouvement, obstacles, interaction.
Analyse Image : manipulation pixels, reconnaissance de zones par la couleur.
Langage :
Javascript
Voir https://portail.fil.univ-lille.fr/ls6/ii2d
Fabrice Aubert : fabrice.aubert@univ-lille.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Programmation des Machines
Structure des processeurs Intel 64
Programmation assembleur des Intel 64
Objectifs
Comprendre du code assembleur (fait main ou généré)
Écrire un programme assembleur
Compléter un programme C par des fonctions assembleur
Contenu
Instructions de base
E/S
Pile et fonctions
Cours orienté pratique : Cours/TP, Pas de matériel spécifique
(autre qu’un PC)
Évaluation : DS écrit, TPs
Samy Meftali : samy.meftali@univ-lille.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
BioInfo
Objectifs
Découvrir un domaine d’application
Développer une application qui
réponde à une problématique
biologique
Pas besoin de connaissance préalable en biologie
Organisation Technique
Projet fil rouge du Développement Python
semestre Utilisations d’API pour la
Évaluation : notions, bioinformatique
jalons intermédiaires, Algorithmique,
soutenance finale programmation, . . .
Et pourquoi pas candidater au master bioinformatique, parcours MISO. . .
mikael.salson@univ-lille.fr jean-stephane.varre@univ-lille.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Introduction au Calcul Haute Performance (ICHP)
Produit matriciel (en C) : < 1% de la puissance de calcul . . .
Objectifs :
mieux exploiter la puissance de
calcul disponible
concevoir, implémenter et optimiser
des programmes parallèles
sur un serveur multi-cœur moderne
Notation : 2 comptes rendus de TP et 1 DS
Pierre Fortin : pierre.fortin@univ-lille.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Machine Learning (MAL)
MAL : apprendre un modèle à partir de données qui permet de faire
des prédictions sur des données test
Programme
Régression linéaire
Inférence et Généralisation
Processus Gaussien
Classification d’images avec PyTorch
Riadh Akrour : riad.akrour@inria.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Meta
Objectif : comprendre l’interprétation de programmes et l’essence
des langages de programmation objets.
Il est realisé par la définition de Visitor de programmes, et l’étude et
le développement d’un petit noyau objet.
Interprétation de programmes
Double dispatch, Composite et Visitor design patterns pour de
vrai :)
Arbre de syntaxe abstraite
Constructions d’un noyau minimal de langage réflexif
Allocation, initialisation d’objets
Recherche de méthode (this vs. super)
Envoi de messages
Metaclasses : ces objets qui sont des classesPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Meta
Plus pour l’apprenant
Apprendre à apprendre
Découverte de Pharo un langage reflexif immersif
http://pharo.org
Utilisation d’un Mooc plébiscité par ses utilisateurs
http://mooc.pharo.org
Re-visite des concepts objets
Stéphane Ducasse : stephane.ducasse@inria.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Génie Logiciel (GL)
Objectif : maîtriser les méthodologies individuelles et collaboratives
de développement logiciel et travailler sur de larges projets, changer
d’échelle pour les projets, travailler dans la mesure du possible sur
de vrais projets ayant plusieurs paquetages et environ 100 à 200
classes.
Test-Driven Development
Refactoring
Clean code
Analyse de code, métriques
Visualisation
Projet d’analyse de code
Attention, peu de développement, mais de l’analyse et de la
maintenance de logiciels existant !
Anne Etien : anne.etien@univ-lille.frPrésentation Modèles et Outils Infrastructure Découverte Logiciel
Javascript Full Stack
javascript :
pré-requis : contenu UE « Javascript » du S4 voir portail S4
programmation asynchrone (principes, promesses, fetch, async/await)
JS « full stack », une introduction :
node.js
JS côté serveur : Express
JS et BD : mongoDB (BD NoSQL)
et aussi socket.io, authentification, outillage (webpack et babel)
option « technologique » ⇒ curiosité, envie de chercher/explorer
on parle langage et on s’intéresse à l’écriture de code
NB : beaucoup de notions à ingérer ⇒ investissement et travail
présentation des notions par l’exemple, suivie d’une mise en application
6×1h30 C + 12×1h30 TP ; évaluation par projets (travail régulier,
présence active)
Jean-Christophe Routier javascript full stack 1Présentation Modèles et Outils Infrastructure Découverte Logiciel
répondre sur moodle avant le 23 novembre 12hVous pouvez aussi lire
