Cours
43369 Cours
| Nom complet | Nom abrégé | Résumé | |
|---|---|---|---|
| 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 | |
| 2025_histoire sociale et cultu_(LHEEI446) | UVSQ_2025_LHEEI446 | Voir le cours | |
| 2025_Le canada au XXIe siècle_(LHANG419) | UVSQ_2025_LHANG419 | Voir le cours | |
| Programme Atypie-Friendly | 2025_Programme Atypie-Friendly _1 | Le programme Atypie-FriendlyUne expérience nationale d’intégration universitaire pour les personnes avec autisme et/ou un trouble du neuro-développement. L'objectif du projet est de permettre, à terme, de proposer un parcours individualisé à chaque étudiant.e avec autisme, TDH ou Trouble Dys. Il s'agit, en fonction de ses caractéristiques personnelles, de :
Ce parcours est construit avec la participation de l'étudiant.e, de l'équipe locale "Atypie-Friendly" et de l'équipe pédagogique de la formation concernée. Attention : le projet a démarré en 2018 pour une durée de 10 ans, nous commençons à construire les outils. Tout ne sera pas possible tout de suite et dans tous les établissements. Merci pour votre compréhension ! |
Voir le cours |
| MASTER 1 25-26 GPLA Méthodologie de recherche et mémoire | 2025_MASTER 1 GPLA Méthodologie de recherche et mémoire _1 | Amélie Clauzel | Voir le cours |
| Génétique et biologie moléculaire 2 | 2026_Génétique et biologie moléculaire 2_1 | RESUME COURS : | Voir le cours |
| BUT1 TC FI et FA : Choix des parcours BUT2 / BUT3 pour 2026-2027 | Parcours_TC_BUT1_2026-2027 | Cet espace eCampus est dédié aux étudiants de BUT1 TC FI / FA pour qu'ils puissent choisir leur parcours en deuxième et troisième années de BUT TC. |
Voir le cours |
| Le système Terre à l'anthropocène | S3C_Module1 | Voir le cours | |
| Les relations Humains-Nature(s) en anthropocène | S3C_Module2 | Voir le cours | |
| Les modes d'action en anthropocène | S3C_Module3 | Voir le cours | |
| Les controverses et les récits en anthropocène | S3C_Module4 | Voir le cours | |
| Éduquer pour former à/en/par l'anthropocène | S3C_Module5 | Voir le cours | |
| Test de positionnement pour l'enseignement de la TEDS (entrée de 1er cycle) | 2025_Test de positionnement pour l'enseignement de la TEDS (entrée de 1er cycle) | Voir le cours | |
| Test d'évaluation final du socle commun | 2025_Test d'évaluation final du socle commun | Voir le cours | |
| Test d'évaluation sur la Transition écologique (Débutant) | 2025_Test d'évaluation sur la Transition écologique (Débutant) | Voir le cours | |
| Test d'évaluation sur la Transition écologique (Intermédiaire) | 2025_Test d'évaluation sur la Transition écologique (Intermédiaire) | Voir le cours | |
| Test d'évaluation sur la Transition écologique (Avancé) | 2025_Test d'évaluation sur la Transition écologique (Avancé) | Voir le cours | |
| Anglais L2 chimie Tout parcours 2025-26 | Anglais L2 chimie 2025-26 | Voir le cours | |
| 2025_Sécur donnée Corpor Pers_(MYDS125) | UVSQ_2025_MYDS125 | Voir le cours | |
| Méthodes d’enquête 2 | 2025_Méthodes d’enquête 2 | Voir le cours | |
| TC-FI - R2.07 - Coûts, marges et prix d'une offre simple | 2025-HT1R0207 | Voir le cours | |
| Génétique des Pathologies Complexes - Outils méthodologiques 25-26 | UEVE2526M_UEVE2021CPG-methodo | Voir le cours |