Skip to main content
Topic Name Description
Cours File À LIRE : Polycopié de calculabilité
TD - Calculabilité URL Simulateur de machine de Turing GTM
File TD1. Machines de Turing
File TD2. MT++
File TD3. Simulations entre modèles
Partiels et examens File Sujet CT 2021/2022
Ressources et bibliographie URL RUBENS : une machine de Turing intégralement mécanique en Lego

RUBENS

Page Vidéos de réalisations concrètes de machines de Turing

Vidéos de réalisations originales de machines de Turing

URL Alan Turing : du calculable à l’indécidable, par Jean-Gabriel Ganascia

Alan Turing : du calculable à l’indécidable, par Jean-Gabriel Ganascia, sur Interstices.

URL Des calculateurs universels, par Jean-Louis Giavitto

Des calculateurs universels, par Jean-Louis Giavitto, sur Interstices

URL L'héritage d'Alan Turing

Journal du CNRS