Séances de cours associées à Énumérabilité récursive: Machines de Turing et langages indécidables

Explore la définition théorique du calcul et introduit les machines Turing.

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

Théorie de calcul: Complexité des problèmes

Explore la théorie du calcul, les problèmes indécis, la mesure de la complexité et la classe de complexité P.

Résoudre les jeux de parité dans la pratique

Explore les aspects pratiques de la résolution des jeux de parité, y compris les stratégies gagnantes, les algorithmes, la complexité, le déterminisme et les approches heuristiques.