UE INF201 : Introduction à la programmation
fonctionnelle
COVID-19: Lire ses mails @etu.univ-grenoble-alpes sur sa boite UGA.
Les ressources pédagogiques, espaces de tchat pour les TDs/TPs, espaces de rendu des devoirs se trouve sur cette nouvelle page Caseine
For the English version INF231, click here
2019 - 2020
Emploi du temps complet sur ADE
Programme du module :
- Types : énumérés, récursifs, produit de
types, sommes de types
- Récursivité : des fonctions, des structures,
des types
- Fondements mathématiques : ensembles définis
récursivement, terminaison de fonctions récursives
- Modélisation : définition de types et de
structures de données
- Algorithmique : construction, exploration,
modification de structures récursives : séquences,
arbres, termes
- Programmation avancée : utilisation de
fonctions d'ordre supérieur associées à une structure
récursive
Le projet de programmation
Le
poly de TD et le poly de TP
Nouveau chapitre 1 du poly de TP: Séance type
Documents for the
MIN-Int group
Diapos
du cours de Francois Puitg (groupes INF)
Équipe enseignante:
COURS
- Nicolas Basset (IMA)
- Francois Puitg (INF)
TD et TP
- IMA-1 : Catherine Parent
- IMA-2 : Francois Puitg
- IMA-3 : Cristian Ene
- IMA-4 : Jean-François Monin
- IMA-5 : Valentin Gledel
- IMA-6 : Paul Raynaud
- INF-1 : Thomas Mari
- INF-2 : Nolan Mestres
- INF-3 : Phillippe Waille
- INF-4 : Nicolas Basset
- MIN-INT : Nicolas Basset (TD) et Cristian Ene (TP)
Planning et notes de cours
Ce planning concerne uniquement les groupes
IMA-1, IMA-2, IMA-3, IMA-4, IMA-5 et IMA-6
On y trouve chaque semaine :
- les transparents du cours
- Certains exemples de programmes OCAML
écrits pendant le cours
Formule de calcul de la note finale
Note finale=60%Examen + 20%CC1 + 20% CC2
CC1 = Quicks + Projet
CC2 = Partiel
Livres et sites web
- F.
Carrier, P.
Lafourcade, L.
Mounier, Exercices de programmation fonctionnelle
en OCaml, Editions Ellipses, Paris, 2014 (ISBN
978-2-7298-87889)
- Guy
Cousineau et Michel Mauny.
Approche fonctionnelle de la programmation. Ediscience
(Collection Informatique), Paris, 1995, ISBN
2-84074-114-8.
- Emmanuel
Chailloux, Pascal
Manoury et Bruno Pagano. Développement
d'applications avec Objective Caml. Editions O'Reilly,
Paris, 2000, ISBN 2-84177-121-0.
- Xavier
Leroy et Pierre Weis.
Manuel de référence du langage Caml. InterEditions,
Paris, 1993, ISBN 2-7296-0492-8. Version electronique
Divers
Ce cours fut enseigné par Michael Perin
et Laurent Mounier.