Outils pour utilisateurs
formations:masters:ue:m2:plpc10
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:m2:plpc10 [2023/04/21 09:27] – [Pré-requis] liens vers des syllabi PF5 et Logique treinen | formations:masters:ue:m2:plpc10 [2025/01/29 10:46] (Version actuelle) – ↷ Liens modifiés en raison d'un déplacement. admin | ||
|---|---|---|---|
| Ligne 30: | Ligne 30: | ||
| ===== Pré-requis ===== | ===== Pré-requis ===== | ||
| - | * Bases de la programmation fonctionnelle (OCaml, Haskell, ...), par exemple [[..:..:..:licences: | + | * Bases de la programmation fonctionnelle (OCaml, Haskell, ...), par exemple [[..:..:..:licence: |
| * Modéliser avec des termes (arbres) | * Modéliser avec des termes (arbres) | ||
| * Programmer avec des fonctions d' | * Programmer avec des fonctions d' | ||
| * Programmer avec des termes fonctionnelles (function x -> ... en OCaml) | * Programmer avec des termes fonctionnelles (function x -> ... en OCaml) | ||
| - | * Bases de la logique des prédicats, par exemple [[..:..:..licences: | + | * Bases de la logique des prédicats, par exemple [[..:..:..: |
| * formules, solutions, implication logique | * formules, solutions, implication logique | ||
| * résolution de systèmes d' | * résolution de systèmes d' | ||
| Il n'est pas nécessaire d' | Il n'est pas nécessaire d' | ||
formations/masters/ue/m2/plpc10.1682069259.txt.gz · Dernière modification : 2023/04/21 09:27 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
