Commit f78122b8 authored by Pierre Letouzey's avatar Pierre Letouzey
Browse files

suggestions de projet

parent 8ff693d3
......@@ -4,3 +4,19 @@ Cours de programmation fonctionnelle en Coq (M2 LMFI, Paris Diderot)
Note: le sous-répertoire `ocaml` contient:
- les notes des séances de pré-rentrée (initiation à la programmation OCaml)
- des feuilles de TD en OCaml pour l'ancienne mouture de ce module (Modèles de la Programmation, en OCaml)
### Projet
Plusieurs possibilités au choix:
- Compression / décompression LZW (Lempel-Ziv-Welch) : voir [lzw.pdf](../blob/master/projet/LZW/lzw.pdf). Il est aussi possible de considérer d'autres algorithmes de compression à la place (Huffman, ...).
- Manipulation de formules booléennes et recherche de tautologies ou de satisfiabilité. Une version naïve est déjà bien. Extensions possibles : méthode de Davis-Putnam, ou bien normalisation de formules via des BDD, ...
- Dérivées symboliques à une variable et simplification
- Un interprète de lambda-calcul où vous implanterez la réduction standard pas à pas
- Implémentation générique de l'algorithme Alpha-Beta et application à un ou plusieurs jeu(x) concret(s), p.ex. Othello ou Dames.
Cette liste n'est pas exhaustive, me contacter si vous avez d'autres idées.
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment