Indécidabilité: Partie 1Introduit l'indécidabilité dans les langages récursifs et les machines Turing, montrant des langages sans reconnaissance algorithmique.
Complexité computationnelleCouvre les bases de la complexité computationnelle, y compris les grandes classes de notation O et de complexité.
Machines de Turing: BasicsCouvre les bases des machines de Turing, y compris les états, la manipulation de bandes et les capacités de résolution de problèmes.