Calculabilité et Compléxité
(CaComp)

Comprendre les limites de l’informatique.
Distinguer problèmes solubles et insolubles par des algorithmes.
Obtenir des résultats indépendants de la technologie employée pour
construire les ordinateurs.