@@ -7,18 +7,4 @@ Note: le sous-répertoire `ocaml` contient:
...
@@ -7,18 +7,4 @@ Note: le sous-répertoire `ocaml` contient:
### Projet
### Projet
Ce projet est à réaliser individuellement, d'ici à *fin janvier*. Me contacter pour convenir d'une soutenance de projet (30min à 1h de présentation de votre projet).
A suivre très bientôt
Plusieurs possibilités au choix:
- Compression / décompression LZW (Lempel-Ziv-Welch) : voir [lzw.pdf](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.
