Cours

Nouveau filtre
Nouveau filtre

43126 Cours

Nom complet Nom abrégé Résumé
Programmation Objet et Génie Logiciel DLIN224B

RESUME COURS : Approfondissement des concepts de la programmation objet, avec utilisation avancée du langage Java. Connaissance du cycle de vie des logiciels et des processus de développement. Outils de modélisation de systèmes logiciels (UML) et de support au développement à grande échelle. On vise à la fois la virtuosité dans la programmation d'un composant donné et la capacité à insérer ce composant dans un projet plus large. À la fin, l'étudiant doit être capable de produire du code Java lisible, robuste et réutilisable, ainsi que de lire le code source de projets réels.

Voir le cours
Calendrier de l'Avent 2025 UVSQ_2025_Calendrier_Avent

Bienvenue dans ce calendrier de l'Avent 2025.

Pour vous inscrire, il suffit de cliquer sur le bouton m'inscrire et de saisir le mot de passe suivant Avent2025


Voir le cours
LP TC - Ressources cours et documents 2025_IUT_Cachan_GEII1_LPTC_Ressources Voir le cours
Sécurité des réseaux (M2 RT) 2025_Sécurité des réseaux (M2 RT)_1 Voir le cours
2025_Analyse masse donnée mobi_(MYDS110) UVSQ_2025_MYDS110 Voir le cours
2025_Fouille donn. - an. prédi_(MYDS115) UVSQ_2025_MYDS115 Voir le cours
Principes d'Interprétation des Langages, Langages Formels - 2026 PIL-LF

Ce cours est l'ancien PIL qui devient LF suite a la suppression de LF en L3

Code UE DLIN222
ancien intitulé: PIL Principe d'Interprétation des Langagues
nouvel intitulé: LF Langages Formels
UE Mutualisable (Oui / Non) et EF autorisés (le cas échéant) =>ca veut dire quoi, UE mutualisable et EF?
Prérequis: Néant 
Objectifs d’apprentissage:  
À l’issue du cours, l’étudiant·e sera capable de :
Comprendre et manipuler les notions fondamentales de langages formels et d’automates finis.
Concevoir et démontrer des équivalences de langages à l’aide d’outils théoriques (lemme d’Arden, lemme de la pompe, clôtures).
Identifier et construire des grammaires hors contexte et relier ces grammaires aux automates à pile correspondants.
Appliquer les méthodes d’analyse syntaxique descendante et ascendante, y compris la construction et l’exploitation d’automates LR et SLR.
Démontrer  la décidabilité de problèmes  simples sur les automates et les grammaires.
Le cours permet  de découvrir et s’approprier quelques outils mathématiques, en particulier : les démonstration par l’absurde, des démonstration de propositions utilisant des quantificateurs, les relations d’équivalence.
Le cours prépare au cours de compilation de L3, en considérant l'analyse de vrai langage de programmation. 

Programme, Plan et Contenus (19 000 caractères max):
Le cours s’articule autour de trois grands axes progressifs : les langages formels et automates finis, les grammaires hors contexte et automates à pile, puis l’analyse syntaxique.
Première partie (5 cours) – Introduction aux langages formels, expressions rationnelles et automates finis.
 On y aborde la hiérarchie de Chomsky, les opérateurs sur les langages, le lemme d’Arden et le théorème de Kleene. Les travaux dirigés visent à manipuler les opérateurs, démontrer des égalités de langages, construire et simplifier des automates d’état fini, déterministes et non déterministes, effectuer des déterminisations, supprimer les ε-transitions, et appliquer les méthodes de minimisation et de preuve de rationalité (lemme de la pompe, propriétés de clôture, décidabilité).
Deuxième partie (4 cours) – Grammaires hors contexte et automates à pile.
 Les notions d’arbre de dérivation, d’ambiguïté, de normalisation (forme normale de Chomsky) et de décidabilité sont introduites. L’automate à pile est présenté comme modèle de reconnaissance des langages algébriques. Les exercices portent sur la construction, le nettoyage et la désambiguïsation de grammaires, ainsi que sur la démonstration de la nature algébrique d’un langage.
Troisième partie (3 cours) – Analyse syntaxique.
 Cette section couvre les méthodes d’analyse  descendantes (facile) puis ascendantes (plus difficile)  avec  les automates LR(0), SLR(1), LR(1) et LALR(1). Les étudiants apprennent à construire et utiliser ces automates pour analyser des langages, à travers des exemples de complexité croissante.


Enseignement à Distance (Oui / Non) Non
Modalités pédagogiques particulières: Cours disponible sur utube.
Bibliographie: 'Aho et Ullman  "Compilateurs : principes, techniques et outils".
Langue(s) d’enseignement: Francais

Nature de l’évaluation ECT
UE, 
Nombre Crédits ECTS normal
Volume horaire : CM 18/ TD 24 /TP 0 Total 42
Types d’épreuves pour chaque session : 
Partiel 36% Devoir Maison 4% Examen 60%
Rattrapage: on oublie le partiel et le DM c'est plus dur car ca porte sur toute l'année

Voir le cours
Certificat Initiation à la Diplomatie 2025_Certificat Initiation à la Diplomatie Voir le cours
Certificat Initiation à la diplomatie 2025 2025_Certificat Initiation à la diplomatie_1 0 Voir le cours
Scolarité pédagogique L2 STAPS : Entrainement sportif UEVE2526M_SP_L2 STAPS : Entrainement sportif Voir le cours
PPEI escala'Quizz UEVE2526M_PPEI escal'A2

Projet PPEI du groupe 3 L2 Entrainement Sportif

Voir le cours
Lab’Oratoire L1 Droit Sceaux - division A j1xdt-900-A-Oratoire Voir le cours
Lab’Oratoire L1 Droit Sceaux - division B J1XDT-900-B-Oratoire Voir le cours
Lab’Oratoire L1 Droit ORSAY J1XDT-901-Oratoire Voir le cours
Principaux signes fonctionnels et physiques des atteintes de l'appareil visuel SF et SP ophtalmologie Voir le cours