INF121 ALGORITHMIQUE ET PROGRAMMATION FONCTIONNELLE
20
inf201 : algorithmique et programmation fonctionnelle INF201 ALGORITHMIQUE ET PROGRAMMATION FONCTIONNELLE ― Organisation de l’enseignement [email protected]
Transcript of INF121 ALGORITHMIQUE ET PROGRAMMATION FONCTIONNELLE
inf201 : algorithmique et programmation fonctionnelle
INF201
ALGORITHMIQUE ET PROGRAMMATION FONCTIONNELLE
―
Organisation de l’enseignement
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
