Séances de cours associées à Universal Turing Machine: Définition et fonctionnement

Théorie de calcul: Comparabilité et problèmes indécis

Explore la comptabilité et les problèmes indécis dans la théorie du calcul.

Introduit la complexité computationnelle, les problèmes de décision, la complexité quantique et les algorithmes probabilistes, y compris les problèmes dures au NP et les problèmes complets au NP.

Conception et synthèse FSM

Couvre la conception et la synthèse des machines à états finis, en mettant l'accent sur l'exhaustivité, la cohérence et les états fantômes.