Cours

Logique propositionnelle, logique du premier ordre

Travail dans le shell

Utiliser un éditeur depuis le shell

Les arbres, cours à compléter. Refaire absolument en détail la partie arbres bicolore.

Sémantique, SAT

Exploration exhaustive

Décomposition en sous-problèmes

Terminologie des graphes

Bases de données

Bases de données, le retour + divers

TP

Arbres

codage de Huffman

Arbres binaires de recherche, arbres bicolores

Sémantique des formules propositionnelles

Diviser pour régner

Exercices divers

DS

Induction - Corrigé

TD

Arbres, encore et toujours

Sémantique des formules propositionnelles

Théorème maître

Huffman, le retour

graphes

algorithme LZW

bases de données

Autres

Test ABR et code Gray, Caml

Cours

Terminaison et correction

Tests

Représentation des nombres

Complexité

Approximations et erreurs de calcul avec correction

Divers (et D.M.)

Graphes

Un énoncé et le corrigé proposé