AccueilConnexion

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

Enseignant : Victor Poupet

Page perso : http://perso.ens-lyon.fr/victor.poupet/

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

Thème : AlgorithmiqueCursus : ENS-Lyon - L3  

     2006 - 2007, Semestre 1  

     Automates et langages formels

Todo : ajouter le cours qui n'est pas sur le web, peut être JB peut le mettre sur sa page perso ? ensuite récupérer les vieux TDs.
Thème : Languages, Automates & CalculabilitéCursus : ENS-Lyon - L3  

     2005 - 2006

     2004 - 2005

     Décidabilité

Thème : Languages, Automates & CalculabilitéCursus : ENS-Lyon - L3  

     2004 - 2005

     Fondements de l'informatique  

Thèmes : Languages, Automates & Calculabilité, Logique & PreuveCursus : ENS-Lyon - L3  

     2006 - 2007, Semestre 1  

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.