Fondements de l'Informatique: Logique, modèles, calculs
CSC_41012_EP
INF 412
Plus à propos des sujets de ce cours.
Machines de Turing.
- Prototypes physiques de Machines de Turing
- EN VENTE
- Machine de Turing électronique (auteur: Thierry Delattre, produit en vente). 12 états max par algorithme. Pour plus d'infos écrire à contact@thamtham.fr www.machine-de-turing.fr Twitter: thamographe
- PROTOTYPES:
- EN VENTE
- Preuves ou vidéo "amusantes" à propos de la Turing complétude de différents systèmes ou des machines de Turing
- The LEGO Turing Machine
- La machine de Turing en cartes Magic (Passe-Science)
- Prototypes physiques de Machines de Turing
Incomplétude et théorèmes de Gödel
- Les vidéos suivantes m'ont été signalées et me semblent de très bonne qualité.