inf201 : algorithmique et programmation fonctionnelle

INF201

ALGORITHMIQUE ET PROGRAMMATION FONCTIONNELLE

―

Organisation de l’enseignement

francois.puitg@univ-grenoble-alpes.fr.fr

inf201 : algorithmique et programmation fonctionnelle

18h de cours

12 cours de 1h30

Volume horaire

Cours :

inf201 : algorithmique et programmation fonctionnelle

Volume horaire

18h de TD

12 TDs de 1h30

Travaux dirigés :

inf201 : algorithmique et programmation fonctionnelle

Volume horaire hebdomadaire

18h de TP

12 TPs de 1h30

Travaux pratiques :

inf201 : algorithmique et programmation fonctionnelle

Volume horaire hebdomadaire

12 séances de TP non encadrées● compléments séances encadrées● projet

Travail régulier chez soi indipensable !!

Travail hors séances :

inf201 : algorithmique et programmation fonctionnelle

Matériel pédagogique

polycopiés

site Web interpréteur CAML

notes de cours

inf201 : algorithmique et programmation fonctionnelle

Matériel pédagogique

Notes de coursdiapos disponibles sur site internet après le cours :http://membres.imag.fr/puitg/Ens/121/

inf201 : algorithmique et programmation fonctionnelle

Matériel pédagogique

polycopiés

site Web interpréteur CAML

notes de cours

inf201 : algorithmique et programmation fonctionnelle

Cours et polycopiésCours et polycopiés

1ER partie

2ÈME partie

3ÈME partie

2 polys :● TD● TP

4ÈME partie

inf201 : algorithmique et programmation fonctionnelle

Matériel pédagogique

polycopiés

site Web interpréteurs CAML

notes de cours

inf201 : algorithmique et programmation fonctionnelle

Sites Web● Cours : membres.liglab.fr/puitg/Ens/121

● Site officiel : ocaml.org/index.fr.html

➔ installation sur Linux :ocaml.org/docs/install.fr.html#Linux

➔ installation sur Windows :fdopen.github.io/opam-repository-mingw/installation/

➔ installation sur MacOs:ocaml.org/docs/install.fr.html#macOS

● Ocaml sur le web : try.ocamlpro.com/

● Ocaml dans le web : ocsigen.org/

inf201 : algorithmique et programmation fonctionnelle

Matériel pédagogique

polycopiés

site Web interpréteur CAML

notes de cours

inf201 : algorithmique et programmation fonctionnelle

Interpréteur CAML

ocaml dans un navigateur : try.ocamlpro.com/

inf201 : algorithmique et programmation fonctionnelle

Ocaml dans l'industrie

Plus de détails : ocaml.org/learn/companies.html

inf201 : algorithmique et programmation fonctionnelle

Plus de détails : coq.inria.fr/

Un (très) gros programme en Ocamll'assistant à la preuve Coq

inf201 : algorithmique et programmation fonctionnelle

Matériel pédagogique

● Guy Cousineau et Michel Mauny« Approche fonctionnelle de la programmation »Ediscience (Collection Informatique), Paris, 1995,ISBN2-84074-114-8

pauillac.inria.fr/cousineau-mauny/main-fr.html

Bibliographie 

inf201 : algorithmique et programmation fonctionnelle

Matériel pédagogique

● Emmanuel Chailloux, Pascal Manoury et Bruno Pagano« Développement d’applications avec Objective Caml »Paris, 2000, ISBN 2-84177-121-0

www.pps.univ-paris-diderot.fr/Livres/ora/DA-OCAML/index.html

inf201 : algorithmique et programmation fonctionnelle

Matériel pédagogique

● Xavier Leroy et all« Manuel de référence du langage Caml »

caml.inria.fr/pub/docs/manual-ocaml/index.html

inf201 : algorithmique et programmation fonctionnelle

12 points

8 points

20

quick(s) TDToutes les 3 semaines…

DSDans 7 semaines…

projetDans 12 semaines…

examen

Dans 14 semaines…

Évaluations écrites : une feuille A4 recto-verso manuscrite

Évaluation continue

inf201 : algorithmique et programmation fonctionnelle

– 1ère partie : types, expressions et fonctions– 2ème partie : définitions récursives– 3ème partie : ordre supérieur– 4ème partie : structures arborescentes

PLAN DU COURS