Séances de cours associées à Degré de Turing

Couvre les algorithmes d'optimisation, l'appariement stable et la notation Big-O pour l'efficacité de l'algorithme.

Explore le problème de l'arrêt, démontrant son insolvabilité et les limites des algorithmes.

Explore l'insolvabilité du problème d'arrêt dans les algorithmes et les limites des procédures dans la détermination de l'arrêt du programme.

Couvre les langages énumérables récursivement, les machines de Turing et la construction de langages indécidables.