HAI102I - Programmation fonctionnelle
章节大纲
-
Les enseignants encadrant les groupes de TD sont
- En licence informatique
- groupe A : Vincent Blazy
- groupe C : Maximos Skandalis
- groupe D : Geoffroy Caillat Grenier
- groupe E : David Delahaye
- groupe F : Romain Sidhoum
- En licence de math
- groupe A et double licence info-math : Mountaz Hascoët
- groupe B : Vincent Blazy
- En licence informatique
-
L'évaluation de cet enseignement s'appuie sur trois contrôles-examens :
- un contrôle écrit sur table en amphithéâtre qui a lieu en milieu de semestre, le 24 octobre; sa durée est une heure
- un contrôle de travaux pratiques qui aura lieu en fin de semestre pendant une séance de TD/TP
- un examen terminal qui a lieu pendant la session des examens en janvier ; il dure deux heures
Les coefficients respectifs de ces deux contrôles est 30%, 3% et 67%.
La note finale de l'UE est calculée selon la formule : 0.67 * note_Examen + 0.3 * note_contrôle_écrit + 0.07 * note_contrôle_TPEn cas d'absence :
- à un contrôle continu :
- si l'absence est justifiée (hospitalisation, maladie, décès d'un parent, ...), l'étudiant doit envoyer un justificatif dans les huit jours calendaires suivants l'épreuve manquée. Ce justificatif doit être envoyé aux enseignants responsables de l'UE (David Delahaye <david.delahaye@umontpellier.fr> ainsi qu'à la scolarité (fds.l1@umontpellier.fr). Dans ce cas la note à l'épreuve sera neutralisée (elle ne comptera pas dans la moyenne).
- dans le cas contraire, la note à l'épreuve est 0/20
- à l'examen terminal, la note à l'épreuve est 0/20
-
-
Ce fichier PDF contient l'intégralité des sujets de TD.
-
-
- Lors de la première séance de Travaux Pratiques, vous utiliserez TryOCaml. La feuille d'exercices est ci--dessous.
- Lors des séances suivantes vous travaillerez en utilisant l'outil Learn-OCaml, installé sur un serveur distant.
Pour se connecter à ce serveur, ainsi que pour savoir comment utiliser l'outil, vous devez lire le document "Utilisation de Learn-OCaml" ci-dessous.
-
-
Vous trouverez le sujet d'examen, ainsi qu'un corrigé