02 déc 2009 10:00 à 11:00 Cours Le lambda-calcul : réductions, causalité et déterminisme Gérard Berry Penser, modéliser et maîtriser le calcul informatique 02 déc 2009 10:00 à 11:00 Partager Facebook X (ex-Twitter) Linkedin Copier le lien Flux RSS Audiovisuel
Mercredi 2 décembre 2009 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 10:00 - 11:00 Sauter le player vidéo Youtube URL de la vidéo Documents et médias Télécharger le support pdf (276.71 Ko) Intervenant(s) Gérard Berry Professeur du Collège de France Voir aussi Séminaire en relation avec le cours : Penser, modéliser et maîtriser le calcul informatique Gérard Berry, chaire Informatique et sciences numériques Penser, modéliser et maîtriser le calcul informatique Événements Événement Précédent dans le cycle Cours 11:00 - 12:00 Calculabilité : machines, langages et fonctions (2) Gérard Berry 25 nov 2009 Penser, modéliser et maîtriser le calcul informatique Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 nov 2009 11:00 - 12:00 Événement Suivant dans le cycle Séminaire 11:00 - 12:00 Lambda-calcul, logique et linguistique Gérard Huet 02 déc 2009 Penser, modéliser et maîtriser le calcul informatique Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 déc 2009 11:00 - 12:00
Cours 11:00 - 12:00 Calculabilité : machines, langages et fonctions (2) Gérard Berry 25 nov 2009 Penser, modéliser et maîtriser le calcul informatique Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 nov 2009 11:00 - 12:00
Séminaire 11:00 - 12:00 Lambda-calcul, logique et linguistique Gérard Huet 02 déc 2009 Penser, modéliser et maîtriser le calcul informatique Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 déc 2009 11:00 - 12:00
