Colle 4 : Classes de complexité, algorithmes, IA, déduction naturelle

• Décidabilité : Tout le cours.

• Classes de complexité : Tout le cours.

• Algorithmes d'approximation et Branch and Bound : Tout le cours.

• Algorithmes probabilistes : Tout le cours.

• IA : Tout le cours.

• Logique (déduction naturelle) : Preuves en déduction naturelle classique (pas de quantificateur).