Outils pour utilisateurs
formations:masters:ue:m1:sem8
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:sem8 [2023/09/06 13:31] – [Pré-requis] lien treinen | formations:masters:ue:m1:sem8 [2025/01/29 10:46] (Version actuelle) – ↷ Liens modifiés en raison d'un déplacement. admin | ||
|---|---|---|---|
| Ligne 22: | Ligne 22: | ||
| * Relations logiques. | * Relations logiques. | ||
| * Équivalence de programmes. | * Équivalence de programmes. | ||
| - | * Langages objets : système T, PCF, λ-calcul pur, λ-calcul effectif, | + | * Langages objets : système T, PCF. |
| + | ==== Sujets potentiellement traités ==== | ||
| + | |||
| + | * Autre langages objets : λ-calcul pur, λ-calcul effectif, | ||
| * Stratégies d’évaluation : appel par nom, par valeur, par pousse-valeur. | * Stratégies d’évaluation : appel par nom, par valeur, par pousse-valeur. | ||
| * Effets calculatoires : affichage, état global, erreurs. | * Effets calculatoires : affichage, état global, erreurs. | ||
| - | |||
| - | ==== Sujets potentiellement traités ==== | ||
| - | |||
| - | * Polymorphisme paramétrique et système F | ||
| * Théorie de la réécriture pour le λ-calcul pur | * Théorie de la réécriture pour le λ-calcul pur | ||
| ===== Pré-requis ===== | ===== Pré-requis ===== | ||
| - | * [[..:..:..:licences: | + | * [[..:..:..:licence: |
| * Définitions et raisonnement par induction. | * Définitions et raisonnement par induction. | ||
| * Manipulations élémentaires sur les ensembles. | * Manipulations élémentaires sur les ensembles. | ||
| * Relations d' | * Relations d' | ||
formations/masters/ue/m1/sem8.1694007087.txt.gz · Dernière modification : 2023/09/06 13:31 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
