Langages formels, calculabilité et complexité

(ENS Ulm, 2014-2015)

Équipe pédagogique :

Chargé de cours : Eugene Asarin (Univ. Paris Diderot, LIAFA)

Chargé de TP : Thomas Nowak (ENS)

Horaires, salles, annonces :

Cours : jeudi 8h30-12h, salle UV, à partir du 25/9 jusqu'au 8/1

TD : vendredi 10h45-12h45, salle R, à partir du 26/9 jusqu'au 9/1

Soutenances : 22/1 matin et après-midi en salle UV; 23/1 matin en salle INFO 2; voici le  planning

Examen : 29/1 9h-12h, salle UV

Lecture de document

Le contrôle continu de cet enseignement consiste à lire, comprendre, préparer une présentation sur ordinateur et présenter oralement un résultat (ou quelques concepts) scientifique en se basant sur un ouvrage ou un article de recherche. Le transparents et l'exposé doivent être faits en français ou en anglais (toutes les combinaisons sont autorisées. La liste des sujets est ici.

Bibliographie, documents et liens :

Examens:

Feuilles de TD : td1.pdf td2.pdf td3.pdf td4.pdf td5.pdf td6.pdf td7.pdf td8.pdf td9.pdf td10.pdf td11.pdf td12.pdf  td13.pdf

Quelques livres :

Documents et liens sur le web :

Un petit poly sur la calculabilité (Eugene Asarin, cours de maitrise à UJF-Grenoble)

Ancienne page du cours (Olivier Carton)

Plan de cours

LANGAGES RÉGULIERS

GRAMMAIRES

CALCULABILITÉ (voir mon poly )

COMPLEXITÉ