Outils pour utilisateurs
formations:masters:ue:m1:pao8
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| formations:masters:ue:m1:pao8 [2023/05/22 15:29] – ↷ Page déplacée de playground:cours:m1:pao8 à formations:masters:ue:m1:pao8 treinen | 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 ===== | ===== Pré-requis ===== | ||
| - | Cours Programmation Fonctionnelle du L3 : | + | Cours [[..: |
| * Programmation fonctionnelle en OCaml | * Programmation fonctionnelle en OCaml | ||
| * Programmer avec des structures de données algébriques (arbres) en OCaml | * Programmer avec des structures de données algébriques (arbres) en OCaml | ||
| Ligne 44: | Ligne 44: | ||
| Autres modules utiles : | Autres modules utiles : | ||
| - | - Cours compilation | + | - Cours [[com7|Compilation]] |
| * Systèmes de typage | * Systèmes de typage | ||
| - | - Cours Logique du L3 : | + | - Cours [[..: |
| * Connecteurs de la logique propositionnelle | * Connecteurs de la logique propositionnelle | ||
| * Calcul des séquents | * Calcul des séquents | ||
| - | - Cours Machines virtuelles du L3 : | + | - Cours [[..: |
| * Machines à pile | * Machines à pile | ||
| * Données structurées | * Données structurées | ||
| * Fonctions et notion de clôture | * Fonctions et notion de clôture | ||
formations/masters/ue/m1/pao8.1684769348.txt.gz · Dernière modification : 2023/05/22 15:29 de treinen
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
