Kévin Perrot hey, fungal totalistic simulator



Location:
Luminy - TPR2
Office 05.34
(map)

LIS
Parc scientifique de Luminy
163, avenue de Luminy - Case 901
F-13288 Marseille Cedex 9
France

Phone:
+33(0)4 86 09 04 97
Cher-e-s étudiant-e-s, INFORMEZ-VOUS !

rubens
A note on Computability Theory including a video of the Lego Turing machine!


2021 - 2022
  • L1 Descartes Saint-Charles - 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 : Code d'une machine de Turing et réduction.
    • 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é. [à 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.

  • 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
  • M2 Info Maths Discrètes - MOdèles de CAlcul NAturels - AMU
    • Avec Giuseppe Di Molfetta et Antonio E. Porreca.

2020 - 2021 (demi-délégation) [à 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.
    • Tous les documents sont sur Ametice.

2019 - 2020 (délégation)


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 :
    • 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.

  • 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
  • M2 Info Maths Discrètes - MOdèles de CAlcul NAturels - AMU
    • Avec Pablo Arrighi, Giuseppe Di Molfetta, Antonio E. Porreca et Sylvain Sené.

2017 - 2018
  • 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
  • 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é.

2016 - 2017
  • 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
  • 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é.

2015 - 2016
  • 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
  • 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é.

2013 - 2014 (postdoc)


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
  • L3 Info - Systemes d'exploitation - UCB Lyon 1
  • 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.