Séance de cours
Machines de Turing: Basics
Séances de cours associées (32)
Turing Machines: Langues récursives
Explore les machines Turing, les langages récursifs, l'indécidabilité et l'élimination des symboles.
Turing Machines: Langues récursives
Explore les machines Turing, les langages récursifs, et la décidabilité dans la théorie du calcul.
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.
Indécidabilité: Partie 1
Introduit l'indécidabilité dans les langages récursifs et les machines Turing, montrant des langages sans reconnaissance algorithmique.
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.
Éléments de complexité computationnelle
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.
Exemple de machine de turing: Test pour des nombres égaux
Démontre une machine de test Turing pour des nombres égaux en utilisant l'entrée binaire.
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.
Définition formelle des turbines
Explore la définition théorique du calcul et introduit les machines Turing.
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.