Je suis Samuel
Je suis Dominique
Option informatique
Le cours de l'option informatique
(pdf)
Memento OCaml et emacs
(pdf)
Programme officiel
(pdf)
DS - CCMP2023
(pdf)
(solution)
2023-2024 - DS - MPSI : les débuts en OCaml
(pdf)
(solution)
2023-2024 - DS - MPSI : Logique
(pdf)
(solution)
Semestre 2
Introduction
Algorithmes Types Structures
OCaml des fonctions et des types
tp-0-intro.ml
Explications vidéos :
Liens vers les vidéos :
Utiliser emacs pour le developpement ocaml
Utiliser la ligne de commande sous linux
Programmation imperative et fonctionnelle
insertion_sort.ml
liste_intro.ml
select_sort.ml
suite.ml
Listes OCaml
listes.ml
tri_fusion.ml
tri_rapide.ml
Logique des propositions - Syntaxe
De la logique avant toute chose
Syntaxe des formules logiques
(solutions)
Logique des propositions - Semantique - SAT
Semantique
(solutions)
brute_force_sat.ml
brute_force_sat_start.ml
quine.ml
quine_start.ml
Arbres binaires de recherche
Arbres binaires et ABR
bst.ml
bst_start.ml
dict.ml
dict_start.ml
Arbres generiques et prefixes
Arbres generiques et prefixes
Arbres generiques
(solutions)
Arbres prefixes
(solutions)
dict_start.ml
huffmann.ml
huffmanstart.ml
Types abstraits - Piles
rpncalc.ml
rpncalc_start.ml
Types abstraits - Files
double_ended_queue_start.ml
shunting_yard_start.ml
Graphes
Semestre 3
3.0 - Warming up
Revisions
(solutions)
Backtracking
Backtracking
Backtracking n queens
(solutions)
Tas et files de priorite
Des arbres aux tas
Tas et files de priorite
(solutions)
heapsort_start.ml
Explications vidéos :
Liens vers les vidéos :
Tas binaire introduction
Tas binaires operations up et down
Tas binaires entasser avec up
Tas binaires entasser avec down
Tas binaires tri par tas
Tas binaires files de priorites
Graphes modelisation et parcours
Graphes avances
Graphes modelisation et parcours
(solutions)
dijkstra_pq_start.ml
Arbres recouvrants
Arbres couvrants
(solutions)
prim_start.ml
spanning_trees_start.ml
Graphes orientes - applications
Graphes orientes et applications
(solutions)
sat2_start.ml
tarjan_start.ml
topological_sort_start.ml
Graphes bipartis - couplage
Graphes bipartis et couplage
(solutions)
bicolorable_start.ml
Introduction aux langages
Introduction aux langages
Introduction aux langages
(solutions)
alphabets.ml
palindromes.ml
Expressions regulieres
Expressions regulieres
Expressions regulieres
(solutions)
gps.dat
Automates finis
Automates finis deterministes
Automates finis non deterministes
Automates Finis Non Deterministes
(solutions)
Automates Finis Deterministes
(solutions)
Automate électronique
fsm_start.ml
Semestre 4
Des expressions regulieres aux automates
Des expressions rationnelles aux automates
Des expressions regulieres aux automates
(solutions)
glushkov.ml
glushkov_start.ml
Des automates aux expressions regulieres
Des automates aux expressions rationnelles
Des automates aux expressions regulieres
(solutions)
Lemme de l etoile
Au dela des langages reguliers
Synthese sur les langages et automates
(solutions)
Deduction naturelle
Deduction naturelle
Deduction naturelle
(solutions)
examples.v
quine_start.ml
Revisions
Revisions
(solutions)
Structure Unir - Trouver et arbre recouvrant
Arbre prefixe Huffman tas min
Arbres Rouges Noirs
graphes.ml
hoshen_kopelmank.ml
huffman.ml
pokebool.pdf
rougesnoirs.ml
unirtrouver.ml
Oraux
ens-mpinfo.zip