quine.sh.py : quine polyglotte à exécuter avec
cat quine.sh.py | python3 | bash.
A note on Computability Theory including a video of the Lego Turing machine!
2023 - 2024
-
L1 Descartes Luminy - Introduction à l'informatique - AMU
- Avec Adrien Julia, Cédric de Lacroix et Sylvain Sené.
- Tous les documents sont sur Ametice.
-
L2 Info Luminy - Structures discrètes - AMU
- Avec Alessia Milani et d'autres.
- Tous les documents sont sur Ametice.
-
L3 Info Luminy - Calculabilité - AMU
- Avec Antonio E. Porreca et Frédéric Olive.
- Tous les documents sont sur Ametice.
- Cours01 : Introduction et cardinalité.
- TD01 : Ensembles dénombrables et indénombrables.
- TD01 : Corrections.
- Vidéo ARTE - Sur la route de l'infini (10 minutes).
- Cours02 : Machines de Turing.
- TD02 : Machines de Turing et codage.
- Simulateur de machines de Turing (javascript).
- DM01 : Machine de Turing.
- Cours03 : Les limites du calcul.
- TD03 : Propriétés de clôture.
- bb6 : Busy Beaver à 6 états pour turingmachine.io.
- Cours04 : Réductions.
- TD04 : Réductions.
- TD04 : Corrections.
- Cours05 : Universalité et Thèse de Church-Turing.
- TD05 : Théorème de Rice et pavages.
- TD06 : Révisions.
- Definitions : Définitions à connaître pour l'interrogation.
- Interro01 : Définitions.
- kleene.sh : Un programme en bash qui donne en sortie son propre code.
-
M1 Info Luminy - Complexité - AMU
- Avec Lison Blondeau Patissier, Pablo Concha, Philippe Jégou et Nathan Lhote.
- Tous les documents sont sur Ametice.
-
M1 Info Luminy - Calculabilité avancée - AMU
- Tous les documents sont sur Ametice.
- TD01 : Rappels de calculabilité.
- DM01 : Semi-décidable mais non décidable.
- TD02 : Busy beaver.
- bb6 : Busy Beaver à 6 états pour turingmachine.io.
- bbchallenge.org : Site officiel des records du concours du castor affairé.
- Record actuel BB(6) par Kropitz (en 2022) avec 10↑↑15
- Son analyse par Shawn Ligocki
- Contribuer à résoudre BB(5)
- AC : Notes sur les automates cellulaires.
- TD/TP03 : Automates cellulaires élémentaires.
- DM02 : Automates cellulaires.
-
M1 Info Luminy - Génie logiciel - AMU
- Avec Amine Hamri et Jean-Luc Massat.
- Tous les documents sont sur Ametice.
-
M2 Info Maths Discrètes - Modèles de calcul et systèmes dynamiques - AMU
- Avec Etienne Moutot.
- J'ai parlé de réseaux d'automates (notes).
-
M2 Info Maths Discrètes - MOdèles de CAlcul NAturels - AMU
- Avec Antonio E. Porreca et une apparition de Giuseppe Di Molfetta.
- J'ai parlé de piles de sable :
-
L1 Descartes Luminy - Introduction à l'informatique - AMU
- Avec Sylvain Sené.
- Tous les documents sont sur Ametice.
-
L2 Info Luminy - Structures discrètes - AMU
- Avec Alessia Milani et d'autres.
- Tous les documents sont sur Ametice.
-
L3 Info Luminy - Calculabilité - AMU
- Avec Rémy Cerda et Frédéric Olive.
- Tous les documents sont sur Ametice.
- Cours01 : Introduction et cardinalité.
- TD01 : Cardinalité et machines de Turing.
- Vidéo ARTE - Sur la route de l'infini (10 minutes).
- Cours02 : Machines de Turing.
- TD02 : Machines de Turing et codage.
- Simulateur de machines de Turing (javascript).
- DM01 : Machine de Turing.
- Cours03 : Les limites du calcul.
- TD03 : Propriété de clôture.
- Cours04 : Réductions.
- TD04 : Réductions.
- TD04 : Corrections.
- TD04bis : Réductions plus générales.
- Cours05 : Universalité et thèse de Church-Turing.
- TD05 : Théorème de Rice et pavages.
- TD06 : Révisions.
- Definitions : Définitions à connaître pour l'interrogation.
- Interro01 : Définitions.
- kleene.sh : Un programme en bash qui donne en sortie son propre code.
- Exam01 : Examen.
-
M1 Info Luminy - Complexité - AMU
- Avec Philippe Jégou, Pacôme Perrotin et Antonio E. Porreca.
- Tous les documents sont sur Ametice.
-
M1 Info Luminy - Calculabilité avancée - AMU
- Tous les documents sont sur Ametice.
- TD01 : Rappels de calculabilité.
- DM01 : Une machine de Turing et deux réduction.
- Kleene : Théorèmes de récursion.
- quine.sh : Un programme en Bash qui donne en sortie son propre code.
- quine.py : Un programme en Python qui donne en sortie son propre code.
- Quine.java : Un programme en Java qui donne en sortie son propre code.
- Godel : Théorèmes d'incomplétude de Gödel.
- Kolmogorov : Complexité de Kolmogorov.
- DM02 : Complexité de Kolmogorov.
- Pavages-DegresTuring : Pavages et degrés Turing.
- TD-Pavages : Pavages.
- Church-Turing : Thèse de Church-Turing.
- TD-Church-Turing : Thèse de Church-Turing (lambda-calcul et fonctions mu-récursives).
- Exam01 : Examen.
-
M1 Info Luminy - Génie logiciel - AMU
- Avec Amine Hamri, Arnaud Labourel et Jean-Luc Massat.
- Tous les documents sont sur Ametice.
-
M2 Info Maths Discrètes - Modèles de calcul et systèmes dynamiques - AMU
- Avec Sylvain Sené et Etienne Moutot.
- Cette année j'ai raconté seulement ce qu'il y a dans ces trois pages de notes.
-
M2 Info Maths Discrètes - MOdèles de CAlcul NAturels - AMU
- Avec Giuseppe Di Molfetta et Antonio E. Porreca.
- J'ai parlé de piles de sable :
-
L1 Descartes Luminy - Introduction à l'informatique - AMU
- Avec Manon Philibert et Sylvain Sené.
- Tous les documents sont sur Ametice.
-
L2 Info Luminy - Structures discrètes - AMU
- Avec Alessia Milani et d'autres.
- Tous les documents sont sur Ametice.
-
L3 Info Luminy - Calculabilité - AMU
- Avec Farah Cherfaoui et Frédéric Olive.
- Tous les documents sont sur Ametice.
- Cours01 : Introduction et machines de Turing. [à distance]
- TD01 : Machines de Turing. [à distance]
- Simulateur de machines de Turing (javascript). [à distance]
- DM01 : Machine de Turing. [à distance]
- Vidéo ARTE - Sur la route de l'infini (10 minutes).
- Cours02 : Cardinalité.
- TD02 : Cardinalité et machines de Turing et codage.
- Cours03 : Les limites du calcul.
- TD03 : Propriété de clôture.
- Cours04 : Réductions.
- TD04 : Réductions.
- TD04bis : Réductions plus générales.
- Cours05 : Universalité et thèse de Church-Turing.
- TD05 : Théorème de Rice et pavages.
- TD06 : Révisions.
- Definitions : Définitions à connaître pour l'interrogation.
- Interro01 : Définitions.
- kleene.sh : Un programme en bash qui donne en sortie son propre code.
- Exam01 : Examen.
- Exam02 : Examen de session exceptionnelle.
-
M1 Info Luminy - Complexité - AMU
- Avec Philippe Jégou, Pacôme Perrotin et Antonio E. Porreca.
- Tous les documents sont sur Ametice.
-
M1 Info Luminy - Calculabilité avancée - AMU
- Tous les documents sont sur Ametice.
- TD01 : Rappels de calculabilité. [à distance]
- DM01 : Machine de Turing et réduction. [à distance]
- Construction d'une machine de Turing universelle (simulateur).
- Liens : Automates cellulaires.
- Kleene : Théorèmes de récursion.
- quine.sh : Un programme en bash qui donne en sortie son propre code.
- TD02=DM02 : Goldbach, Collatz, dovetailing.
- Exam01 : Examen.
- Exam02 : Examen bis.
-
M1 Info Luminy - Génie logiciel - AMU
- Avec Amine Hamri, Arnaud Labourel et Jean-Luc Massat.
- Tous les documents sont sur Ametice.
-
M2 Info Maths Discrètes - Modèles de calcul et systèmes dynamiques - AMU
- Avec Sylvain Sené et Pierre Guillon.
- Ce que je raconte sur les pavages et sous-décalages se trouve dans :
- Livre EJCIM 2017 - Chapitre 1 : Pavages et automates cellulaires
(en français, licence Creative Commons) par Aubrun et Theyssier, - Tilings and patterns (lecture notes in English, available online) par Kari.
-
M2 Info Maths Discrètes - MOdèles de CAlcul NAturels - AMU
- Avec Giuseppe Di Molfetta et Antonio E. Porreca.
- J'ai parlé de piles de sable [partiellement à distance].
-
L1 Descartes Saint-Charles - Programmation 1 - AMU
- Avec Julien Lefèvre et beaucoup d'autres.
- Tous les documents sont sur Ametice.
-
L3 Info Luminy - Calculabilité - AMU
- Avec Florian Bridoux et Frédéric Olive.
- Tous les documents sont sur Ametice.
- Cours01 : Introduction et cardinalité.
- Cours02 : Machines de Turing.
- Cours03 : Les limites du calcul.
- Cours04 : Réductions.
- Cours05 : Universalité et thèse de Church-Turing.
- TD01 : Cardinalité et machines de Turing.
- TD01 : Corrections.
- TD02 : Machines de Turing et codage.
- TD02 : Corrections.
- TD03 : Réductions.
- TD03 : Corrections.
- TD04 : Pavages, théorème de Rice.
- TD05 : Révisions.
- DM01 : Code d'une machine de Turing et réduction.
- Exam01 : Examen session 1.
- Exam02 : Examen session 2.
-
M1 Info Luminy - Calculabilité avancée - AMU
- On choisit ensemble les sujets abordés.
- Tous les documents sont sur Ametice.
- TD01 : Rappels de calculabilité.
- DM01 : Réductions.
- Cours : Automates cellulaires (diapos).
- TD : Fonctions µ-récursives, λ-calcul, pavages.
- Cours : Théorèmes de Gödel et calculabilité.
- Exam01 : Examen session 1.
- Exam02 : Examen session 2.
-
M2 Info Maths Discrètes - MOdèles de CAlcul NAturels - AMU
- Avec Giuseppe Di Molfetta et Antonio E. Porreca.
- J'ai parlé de piles de sable.
2018 - 2019
-
L1 Info Luminy - Introduction à l'informatique - AMU
- Avec Pablo Arrighi, Giuseppe Di Molfetta et Sylvain Sené.
- TD01 : Codage de l'information.
- TD02 : Codage d'informations diverses.
- TD03 : Premiers algorithmes et cryptologie.
- TD04 : Algorithmes et structures linéaires.
- TD05 : Algorithmes et structures linéaires 2.
- TD06 : Algorithmes numériques (interrogation).
- TD06corr : Algorithmes numériques (correction).
- TD07 : Parcours de graphes.
- TD08 : Graphes 2.
- TD09 : Arbres binaires.
- TD10 : Automates.
-
L3 Info Luminy - Calculabilité - AMU
- Avec Eloi Perdereau.
- Cours01 : Machines de Turing.
- TD01 : Machines de Turing.
- Cours02 : Les limites du calcul.
- TD02 : Machines de Turing et limites du calcul.
- Cours03 : Réductions.
- TD03 : Réductions.
- Interro01 : Une machine de Turing et une réduction.
- Cours04 : Universalité et thèse de Church-Turing.
- TD04 : Théorème de Rice.
- Cours05 : Calculabilité avancée.
- TD05 : Réels, Castor affairé, FO : non calculables !
- Exam01 : Examen session 1.
- Exam02 : Examen session 2.
-
L3 Télé-enseignement - Algorithmique avancée et théorie des graphes - AMU
- Avec Sylvain Sené.
- Tous les documents sont sur Ametice.
-
M1 Info Luminy - Complexité - AMU
- Avec Damien Busatto, Giuseppe Di Molfetta et Frédéric Olive.
- Le cours est basé sur deux livres :
- le Perifel (en français, licence Creative Commons),
- le Arora Barak (in English, draft available online).
- TD01 : Ordre de grandeur, codage, langage et problème.
- TD02 : Machines de Turing.
- TD03 : Le temps de calcul est une fonction de la taille des entrées.
- TD04 : Classes P et NP.
- TD05 : The complexity cake.
- TD06 : Classes P et NP (interrogation).
- TD07 : Deviner, et charactérisation existentielle de NP.
- TD08 : Réductions, NP-difficulté, NP-complétude.
- TD08-corr : Réductions, NP-difficulté, NP-complétude -- Correction.
- TD09 : Révisions.
- TD09-corr1 : Révisions -- Correction des exercices 4 et 6.
- TD09-corr2 : Révisions -- Correction des exercices 1, 2 et 3.
- TP01 : Machines de Turing.
- TP01-corr.txt : Machines de Turing -- Correction.
- TP02 : RACSO online judge.
- TP03 : Le réflexe minisat.
- Exam01 : Examen session 1.
- Exam02 : Examen session 2.
-
M1 Info Luminy - Calculabilité avancée - AMU
-
On choisit ensemble les sujets abordés.
Voir les supports du cours de Calculabilité en L3. - TD01 : Rappels.
- TD02 : Machine universelle, castor affairé, jeu de la vie.
- Exam01 : Examen session 1.
- Exam02 : Examen session 2.
-
On choisit ensemble les sujets abordés.
-
M1 Info Luminy - Genie Logiciel - AMU
- Avec Pablo Arrighi et Laurent Tichit.
- Tous les documents sont sur Ametice et le Google Drive.
-
M2 Info Maths Discrètes - Modèles de calcul et systèmes dynamiques - AMU
- Avec Sylvain Sené et Guillaume Theyssier.
- Ce que je raconte sur les pavages et sous-décalages se trouve dans :
- Livre EJCIM 2017 - Chapitre 1 : Pavages et automates cellulaires
(en français, licence Creative Commons) par Aubrun et Theyssier, - Tilings and patterns (lecture notes in English, available online) par Kari.
-
M2 Info Maths Discrètes - MOdèles de CAlcul NAturels - AMU
- Avec Pablo Arrighi, Giuseppe Di Molfetta, Antonio E. Porreca et Sylvain Sené.
-
L3 Info Saint-Charles - Responsabilité pédagogique - AMU
- slides-prerentree : Les transparants de la réunion de prérentrée du 4 septembre.
-
L3 Info Saint-Charles - Logique et calculabilité - AMU
- Avec Luigi Santocanale.
- Logique : Lien vers les supports de logique sur la page de Luigi.
- Cours : Calculabilité.
- Calculabilite-TD01 : Programmer avec des machines de Turing.
- Calculabilite-TD02 : Réductions.
-
L3 Info Saint-Charles - Algorithmique avancée - AMU
- Avec Guyslain Naves.
- TP01 : Les tarbres, à rendre avant le 9/10/2017 23h59, sur AMeTICE.
- TP02 : Comp. fort. connexes, à rendre avant le 6/11/2017 23h59, sur AMeTICE.
-
TP03 : chargement de palettes, à rendre avant le 5/12/2017 23h59, sur AMeTICE.
RectanglePackingInit.zip : Les fichiers pour le chargement de palettes.
-
L3 MPCI - Système - AMU
- expose : Propositions de sujets.
- TP-Bash : TP Bash.
- commandesBash : Commandes Bash.
- commandesVim : Commandes vim.
- Cours01 : Organisation, Processus et Interruptions.
- TD01 : Interruptions.
- Cours02 : Allocation de ressources et interblocages.
- TD02 : Allocation de ressources et interblocages.
- Cours03 : Allocation du processeur.
- TD03 : Allocation du processeur.
- Cours04 : Allocation de la mémoire.
- TD04 : Allocation de la mémoire (ROM).
- TD05 : Allocation de la mémoire (RAM).
- Cours05 : Parallélisme et synchronisation.
- TP01 : Parallélisme et synchronisation.
- TP02 : Parallélisme et synchronisation.
- programmes : Les programmes.
-
M1 Info Luminy - Genie Logiciel - AMU
- Avec Pablo Arrighi.
- Tous les documents sont sur le Google Drive.
-
M2 Recheche - MOdèles de CAlcul NAturels - AMU
- Avec Pablo Arrighi, Giuseppe Di Molfetta et Sylvain Sené.
-
L3 Info Saint-Charles - Responsabilité pédagogique - AMU
- slides-prerentree : Les transparants de la réunion de prérentrée du 7 septembre.
-
L3 Info Saint-Charles - Logique et calculabilité - AMU
- Avec Luigi Santocanale.
- Logique : Lien vers les supports de logique sur la page de Luigi.
- Cours : Calculabilité.
- Calculabilite-TD01 : Programmer avec des machines de Turing.
- Calculabilite-TD02 : Réductions.
-
M1 Info Luminy - Complexité - AMU
- Avec Nadia Creignou, Giuseppe Di Molfetta et Frédéric Olive.
- CR : Comment écrire un bon compre rendu de travaux pratiques.
- TP01 : Sous-séquences maximales.
- TP01_example_and_test : exemples et script de test (lire README !).
- TP02 : Le solveur Minisat.
- TP03 : Deux réductions vers SAT.
- TP04 : Les réductions avec RACSO online judge.
-
M2 Recheche - MOdèles de CAlcul NAturels - AMU
- Avec Pablo Arrighi, Giuseppe Di Molfetta et Sylvain Sené.
-
Cher-e-s étudiant-e-s, je vous invite à signer ce communiqué et à le diffuser !
-
L3 Info Saint-Charles - Responsabilité pédagogique - AMU
- slides-prerentree : Les transparants de la réunion de prérentrée du 9 septembre.
-
L3 Info Saint-Charles - Logique et calculabilité - AMU
- Avec Luigi Santocanale.
- Logique : Lien vers les supports de logique sur la page de Luigi.
- Calculabilite-Cours01 : Introduction et machines de Turing.
- Calculabilite-TD01 : Programmer avec des machines de Turing.
- Calculabilite-Cours02 : Les limites du calcul.
- Calculabilite-TD02 : Le problème du castor affairé.
- Calculabilite-Cours03 : Universalité, thèse de Church-Turing, point fixe et quine.
- Calculabilite-TD03 : Machines de Turing et problème de l'arrêt.
-
L3 MPCI - Système - AMU
- expose : Propositions de sujets.
- TP-Bash : TP Bash.
- commandesBash : Commandes Bash.
- commandesVim : Commandes vim.
- Cours01 : Organisation, Processus et Interruptions.
- TD01 : Interruptions.
- Cours02 : Allocation de ressources et interblocages.
- TD02 : Allocation de ressources et interblocages.
- Cours03 : Allocation du processeur.
- TD03 : Allocation du processeur.
- Cours04 : Allocation de la mémoire.
- TD04 : Allocation de la mémoire (ROM).
- TD05 : Allocation de la mémoire (RAM).
- Cours05 : Parallélisme et synchronisation.
- TP01 : Parallélisme et synchronisation.
- TP02 : Parallélisme et synchronisation.
- programmes : Les programmes.
-
M1 Info Luminy - Complexité - AMU
- Avec Nadia Creignou, Frédéric Olive et Eloi Perdereau.
- TP01 : Sous-séquences maximales.
- TP02 : Le solveur Minisat.
- TP03 : Deux réductions vers SAT.
- TP04 : Les réductions avec RACSO online judge.
-
M1 Info Luminy - Genie Logiciel - AMU
- Avec Pablo Arrighi.
- Tous les documents sont sur le Google Drive.
-
M2 Recheche - MOdèles de CAlcul NAturels - AMU
- Avec Pablo Arrighi et Sylvain Sené.
2014 - 2015
-
L3 Info Saint-Charles - Responsabilité pédagogique - AMU
- slides-prerentree : Les transparants de la réunion de prérentrée du 10 septembre.
-
L3 MPCI - Système - AMU
- Cours01 : Organisation, Processus et Interruptions.
- TD01 : Gestion des E/S et temps d'utilisation de l'U.C.
- TD02 : Interruptions.
- Cours02 : Allocation de ressources.
- TD03 : Allocation de ressources et interblocages.
- Cours03 : Allocation du processeur.
- TD04 : Allocation du processeur.
- TP01 : Bash.
- commandesBash : Commandes Bash.
- commandesVim : Commandes vim.
- Cours04 : Allocation de la mémoire.
- TD05 : Allocation de la mémoire (ROM).
- TD06 : Allocation de la mémoire (RAM).
- Cours05 : Parallélisme et synchronisation.
- Cours05-programmes : Les programmes lancés en cours (zip).
- TP02 : Parall´lisme et synchronisation (1).
-
M1 Info Luminy - Complexité - AMU
- Avec Nadia Creignou et Frédéric Olive.
- TP01 : Sous-séquences maximales.
- TP01-consignes : Consignes pour le rendu du TP01.
- TP02 : Le solveur Minisat.
- TP03 : Deux réductions vers SAT.
- TP03-consignes : Consignes pour le rendu du TP03.
- TP04 : Les réductions avec RACSO online judge.
-
M1 Info Luminy - Genie Logiciel - AMU
- Avec Pablo Arrighi.
- Tous les documents sont sur le Google Drive.
-
M2 Recheche - MOdèles de CAlcul NAturels - AMU
- Avec Pablo Arrighi et Sylvain Sené.
2012 - 2013
-
L3IF - FDI - ENS de Lyon
- Avec Pascal Koiran et Emilie Diot.
- TD01 : Noel aux galeries Lafayette.
- TD02 : Automates farcis.
- TD03 : Salade d'automates.
- TD04 : Langages rationnels.
- TD05 : Recettes de grammaire.
- TD06 : Grand-mere en folie !
- TD07 : Grand-mere a un pacemaker.
- TD08 : La recette du gateau tunnel.
- Partiel : Partiel.
- TD09 : Theoreme : Les briques de Lego sont Turing-puissantes.
- TD10 : Mac Neo Gyver a du courrier pour toi.
- TD11 : Antepenultieme effort avant la fin du monde...
- DM01 : A ne pas confondre avec Jean.
- TD12 : (Co.)R.(E.).
- TD13 : Riri, Fifi et Loulou ne vous seront d'aucune aide.
-
M1IF - Projet Integre - ENS de Lyon
- Avec Eddy Caron.
- Logiciel d'edition de scultures en ballons : projet CyBloons.
2011 - 2012
-
M1IF - Projet Integre - ENS de Lyon
- Avec Eddy Caron.
- Machine de Turing en LEGO (2012 Turing Year) : projet rubens.
-
L3 Info - Systemes d'exploitation - UCB Lyon 1
- Avec Fabien Rico.
- Tous les documents sont sur Spiral Connect.
-
L2 Info - Pratique d'Unix - UCB Lyon 1
- Avec Thierry Excoffier.
- Tous les documents sont sur sa page.
2010 - 2011
-
L3IF - FDI 1 - ENS de Lyon
- Avec Guillaume Hanrot et Bruno Grenet.
- TD01 : Reecriture abstraite.
- TD02 : Des chaines.
- DM01 : 4/10.
- TD03 : Mettons un terme a la reecriture.
- TD04 : Recettes de grammaires.
- DM02 : 18/10.
- TD05 : Forme normale superieure.
- TD06 : Regulierement hors-contexte.
- DM03 : 15/11.
- TD07 : Revisions.
- Partiel : 2009/2010.
- TD08 : Salade d'automates.
- TD09 : Automates farcis.
- TD10 : Automate appeal.
- DM04 : 13/12.
- TD11 : D'apres un article de M. Minsky et S. Papert (1965).
- DM05 : 10/01.
- TD12 : Happy New International Year of Forests.
- TD13 : Le dernier \pi traite une contre-tetris.
-
L3IF - Projet 1 : langage C - ENS de Lyon
- TD01
- TD02
- TD03
- Projets
- C : Introduction, variables, operateurs, instructions, fonctions et procedures, tableaux.
- C-Cassagne : Cours d'introduction au C par Bernard Cassagne.
