Kévin Perrot



Location:
Luminy - Library - 2nd floor
Office A201
(map)

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

Phone:
+33(0)4 86 09 04 97
rubens
A note on Computability Theory including a video of the Lego Turing machine!


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.

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

  • 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 Dscirètes - MOdèles de CAlcul NAturels - AMU
    • Avec Pablo Arrighi, Giuseppe Di Molfetta 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é.


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.