Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.
Introduit la complexité temporelle et l'analyse des algorithmes dans le pire des cas, en extrayant la complexité computationnelle des détails de mise en œuvre.
Couvre l'induction mathématique, les fonctions définies récursivement et les algorithmes itératifs pour la résolution de problèmes.
Couvre des sujets liés à l'induction et à la récursion, y compris les épreuves d'induction mathématiques et les définitions récursives.
