Différences

Ci-dessous, les différences entre deux révisions de la page.

--- formations:masters:ue:m1:pao8 [2025/01/29 10:44] – ↷ Liens modifiés en raison d'un déplacement. admin
+++ formations:masters:ue:m1:pao8 [2025/01/29 10:46] (Version actuelle) – ↷ Liens modifiés en raison d'un déplacement. admin
@@ Ligne 38: / Ligne 38: @@
 ===== Pré-requis =====
-Cours [[..:..:..:licence:ue:l3:pf5|Programmation Fonctionnelle]] du L3 :
+Cours [[..:..:..:licence:2024-2025:ue:l3:pf5|Programmation Fonctionnelle]] du L3 :
   * Programmation fonctionnelle en OCaml
   * Programmer avec des structures de données algébriques (arbres) en OCaml
@@ Ligne 46: / Ligne 46: @@
   - Cours [[com7|Compilation]] du M1 :
     * Systèmes de typage
-  - Cours [[..:..:..:licence:ue:l3:lo5|Logique]] du L3 :
+  - Cours [[..:..:..:licence:2024-2025:ue:l3:lo5|Logique]] du L3 :
     * Connecteurs de la logique propositionnelle
     * Calcul des séquents
-  - Cours [[..:..:..:licence:ue:l3:mv6|Machines virtuelles]] du L3 :
+  - Cours [[..:..:..:licence:2024-2025:ue:l3:mv6|Machines virtuelles]] du L3 :
     * Machines à pile
     * Données structurées
     * Fonctions et notion de clôture