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édente | |||
| formations:masters:ue:m2:plpc10 [2025/01/29 10:44] – ↷ Liens modifiés en raison d'un déplacement. admin | 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 [[..: | + | * Bases de la programmation fonctionnelle (OCaml, Haskell, ...), par exemple [[..: |
| * 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 [[..: | + | * 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.1738147463.txt.gz · Dernière modification : 2025/01/29 10:44 de admin
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
