Présente des algorithmes en tant que procédures de résolution de problèmes, couvrant la complexité, l'exactitude et la mise en œuvre dans divers langages.
Explore la machine universelle Turing, sa représentation canonique et son rôle dans la définition des algorithmes et des concepts théoriques d'informatique.
