Séances de cours associées à Formulaire non commutatif de Smith

Couvre les ingrédients de base de l'algorithme, les algorithmes de recherche, les structures de contrôle et l'exactitude de l'algorithme.

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

Couvre le calcul du facteur de sélection et des exercices connexes.