AccueilConnexion

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

Thèmes Cursus Enseignants

Enseignant : Sylvain Périfel

Page perso : http://perso.ens-lyon.fr/sylvain.perifel/enseignement.html

Documents référencés

Pour voir les documents d’une ressource écrits par d’autres enseignants, cliquez sur son titre, ou bien sur son icône    ou   .

     Algorithmique effective et concours ACM

Thèmes : Algorithmique, Programmation – Cursus : ENS-Lyon - L3  , ENS-Lyon - M1  

     2005 - 2006

Cours par Nicolas Schabanel
     TDs  
Sylvain Périfel  
     Examens  
Sylvain Périfel  

     Complexité algébrique

Thème : Complexité – Cursus : ENS-Lyon - M2  

     2006 - 2007  

     TDs  
Sur le modèle BSS (pas composés spécifiquement pour le cours sur le modèle de Valiant). 3 TDs d'une heure, en anglais, dans le cadre du séminaire ModNet : http://www.logique.jussieu.fr/modnet/. L'atelier de formation : http://math.univ-lyon1.fr/~logicum/francais/modnetlyonfr.htm.
Sylvain Périfel  

     Complexité structurelle

Thème : Complexité – Cursus : ENS-Lyon - M1  

     2005 - 2006

Cours par Pascal Koiran
     TDs  
Les "figures jointes" du TD 9 proviennent du livre Computational complexity de Papadimitriou.
Sylvain Périfel  

     Fondements de l'informatique  

Thèmes : Languages, Automates & Calculabilité, Logique & Preuve – Cursus : ENS-Lyon - L3  

     2006 - 2007, Semestre 1  

     TDs  
Sylvain Périfel  , Victor Poupet  
     Examens  
Sylvain Périfel  , Victor Poupet  

     Mise à niveau C/Caml

Thème : Programmation – Cursus : ENS-Lyon - L3  

     2006 - 2007

     TDs Caml  
Sylvain Périfel  
Accueil Plan du site Contact et proposition de documents : qravs-ng-yvfgrf-qbg-raf-ylba-qbg-se
Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation.
Le code source de ce site est placé sous licence GPLv3.