Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Decider (Turing machine)

Séances de cours associées (13)

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.

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.

Turing Machines: Langues récursives

Explore les machines Turing, les langages récursifs, l'indécidabilité et l'élimination des symboles.

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: Basics

Couvre les bases des machines de Turing, y compris les états, la manipulation de bandes et les capacités de résolution de problèmes.

Turing Machines: Langues récursives

Explore les machines Turing, les langages récursifs, et la décidabilité dans la théorie du calcul.

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.

Définition formelle des turbines

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

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.

Halting Problem : des problèmes insolubles

Explore l'insolvabilité du problème d'arrêt dans les algorithmes et les limites des procédures dans la détermination de l'arrêt du programme.

É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.

Charles Babbage : le moteur analytique MOOC: Thymio: un robot pour se former à l'informatique

Plonge dans la quête de Charles Babbage pour créer les premières machines informatiques, révolutionner la technologie et ouvrir la voie aux ordinateurs modernes.