Catégorie
Théorie de la calculabilité
Séances de cours associées (62)
Énumérabilité récursive: Machines de Turing et langages indécidables
Couvre les langages énumérables récursivement, les machines de Turing et la construction de langages indécidables.
L'indécidabilité : langages récursifs et machines de Turing
Explore l'indécidabilité à travers les langages récursifs, les machines de Turing et le problème de l'arrêt.
Machines de turing : Décidabilité et théorie de la récursion
Explore la décidabilité dans les machines Turing et les langages récursifs.
Turing Machines: Langues récursives
Explore les machines Turing, les langages récursifs, l'indécidabilité et l'élimination des symboles.
Indécidabilité: Partie 1
Introduit l'indécidabilité dans les langages récursifs et les machines Turing, montrant des langages sans reconnaissance algorithmique.
Turing Machines: Langues récursives
Couvre les machines Turing, les langages récursifs, l'indécidabilité et les exécutions infinies en théorie computationnelle.
Théorie de la calculabilité et problème d'arrêtMOOC: Information, Calcul, Communication: Introduction à la pensée informatique
Couvre la théorie de la calculabilité et le problème de l'arrêt dans les algorithmes.
Théorie de calcul : problèmes indécis
Explore l'existence de fonctions qui ne peuvent pas être calculées, illustrées par des paradoxes célèbres et le concept de problèmes indécis.
Universal Turing Machine: Définition et fonctionnement
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.
Turing Machines: Langues récursives
Explore les machines Turing, les langages récursifs, et la décidabilité dans la théorie du calcul.