Option informatique 1ère année (2016-2017)
Judicaël Courant
∗5 juin 2017
Table des matières
1 Mardi 6 juin 1
2 Mardi 7 février 1
3 Mardi 14 février 2
4 Mardi 21 et 28 février 2
5 Mardi 7 mars 2
6 Mardi 14 mars 2
7 Mardi 21 mars 2
8 Mardi 28 mars 2
9 Mardi 4 avril 2
10 Mardi 11 avril 2
11 Programme officiel 3
1 Mardi 7 février
Premier cours et premier TP1. Vous pouvez récupérer le fichier Caml2 que nous avons créé en cours.
2 Mardi 14 février
Second cours. Exercice pour le mardi 7 mars :
∗http://judicael.courant.free.fr/contact.html
1. http://judicael.courant.free.fr/pro/2016-2017/oi1a/tp01.pdf 2. http://judicael.courant.free.fr/pro/2016-2017/oi1a/cours01.ml
1
1. Écrire une fonction append : ’a list -> ’a list -> ’a list telle que append l1 l2 retourne la liste constituée des éléments de l1 sui- vis de ceux del2. Ainsiappend [1; 2; 3] [4; 5; 6]doit retourner la liste[1;2;3;4;5;6]. On rappelle que [a; b; c]n’est qu’une notation (pratique) pour la listea::(b::(c::[])).
2. Calculer la complexité temporelle de l’exécution de append l1 l2 en fonction des longueurs respectivesn1 etn2 del1etl2.
3. Écrire une fonction reverse : ’a list -> ’a listprenant en argu- ment une liste[x0;. . .;xn−1]et retournant la liste[xn−1;. . .;x0].
4. Calculer la complexité temporelle de l’exécution dereverse len fonc- tion de la longueurndel.
3 Mardi 21 et 28 février
Vacances.
4 Mardi 7 mars
Types sommes. Distribution du poly sur les ordres bien fondés3.
5 Mardi 14 mars
Ordres bien fondés (compléments au poly). Exercice : montrer la terminaison de la fonction de Ackermann.
6 Mardi 21 mars
Tri par insertion.
7 Mardi 28 mars
Diviser pour régner (suite).
8 Mardi 4 avril
Programmation impérative.
9 Mardi 11 avril
Cours sur la programmation dynamique4.
3. http://judicael.courant.free.fr/pro/2016-2017/oi1a/chap04-ordres-bien-fondes.pdf 4. http://judicael.courant.free.fr/pro/2016-2017/oi1a/prog-dyn.pdf
2
10 Mardi 6 juin
TP 6 sur les arbres tournois5 et les fichiers associés6
11 Programme officiel
Le programme officiel en PDF7
5. http://judicael.courant.free.fr/pro/2016-2017/oi1a/tp06-arbres-tournois-files-prio.pdf 6. http://judicael.courant.free.fr/pro/2016-2017/oi1a/fichiers-tp-arbres-tournois.zip
7. http://judicael.courant.free.fr/pro/2016-2017/oi2a/programme-option-informatique-MPSI-MP-2013-2014.pdf
3
