Offre de formation de la faculté des sciences et technologie de l'UPEC

Détails de l'UE "Programmation fonctionnelle - S4" (6 ECTS)

Code APOGEE	Intitulé	ECTS	CM	TD	TP	1ère Session									2ème Session
						CC			Examen			Dérogatoire			Examen
						Ecrit	Oral	TP	Ecrit	Oral	TP	Ecrit	Oral	TP	Ecrit	Oral	TP
XSXEPRF0	Programmation fonctionnelle	6	18	18	24	25%		25%	50%			75%		25%	75%		25%

Publics concernés

Responsable(s) pédagogique(s)

Antoine SPICHER

Objectifs

Initiation au paradigme fonctionnel et aux langages applicatifs fortement typés

Connaissances / compétences acquises

Connaissance des techniques élémentaires de programmation fonctionnelle
Expérience pratique d'un langage fonctionnel typé de la famille ML

Contenu détaillé de l'enseignement

Lamda calcul
Programmation fonctionnelle en ML
Fonctions d'ordre supérieur, polymorphisme
Curryfication des fonctions
Utilisation de structures de données immutables
Type produit, type union disjointe, type récursif
Fonctions récursives définies par cas
Raisonnement sur le programme
Types abstrait de données, modules et foncteurs

Méthode d'enseignement

CM et TD traditionels
Nombre de séances de TP : de 8 séances de 3h à 12 séances de 2h
Nombre d’heures de travail à la maison : l’équivalent du volume horaire d’enseignement

Evaluation par les étudiants

Un questionnaire est rempli par chaque étudiant en fin de semestre.

Indications bibliographiques

T. Hardin et V. Donzeau Gouge Vignié, Concepts et outils de programmation, Interéditions, 1992
G. Cousineau et M. Mauny, Approche fonctionnelle de la programmation, Ediscience, 1995
P. Narbel, Programmation fonctionnelle, générique et objet, Vuibert, 2005

Liste des UEs

Liste des parcours

Mention	Parcours	L1S1	L1S2	L2S3	L2S4	L3S5	L3S6
Mathématiques et interactions	Classique	✔	✔	✔	✔	✔	✔
	Double licence Mathématiques/Informatique	✔	✔	✔	✔	✔	✔
	Double licence Mathématiques/Physique	✔	✔	✔	✔	✔	✔
Informatique	Classique	✔	✔	✔	✔	✔	✔
Informatique	Double licence Mathématiques/Informatique	✔	✔	✔	✔	✔	✔
Sciences de l'ingénieur	Tronc commun	✔	✔
	Electronique et génie informatique			✔	✔	✔	✔
	Maintenance			✔	✔	✔	✔
	Mécanique			✔	✔	✔	✔
	Apprendre autrement	✔	✔	✔	✔
Physique	Classique	✔	✔	✔	✔	✔	✔
Physique	Double licence Mathématiques/Physique	✔	✔	✔	✔	✔	✔
Chimie	Chimie	✔	✔	✔	✔	✔	✔
	Chimie-biologie international	✔	✔	✔	✔
	Chimie-biologie	✔	✔	✔	✔	✔	✔
Sciences de la vie et de la terre	Chimie-biologie international	✔	✔	✔	✔
	Chimie-biologie	✔	✔	✔	✔	✔	✔
	Biologie santé international	✔	✔	✔	✔	✔	✔
	Biologie santé	✔	✔	✔	✔	✔	✔
	Biologie environnement	✔	✔	✔	✔	✔	✔
	Biologie-géologie enseignement	✔	✔	✔	✔	✔	✔
	Biologie-géologie enseignement primaire						✔

Maquette 2016/2017 - Les informations portées sur ces pages sont non-contractuelles et n'engagent en rien la responsabilité de la faculté des sciences et technologies de l'UPEC.