09 déc 2009 10:00 à 11:00 Cours Sémantiques, information et points fixes Gérard Berry Penser, modéliser et maîtriser le calcul informatique 09 déc 2009 10:00 à 11:00 Partager Facebook X (ex-Twitter) Linkedin Copier le lien Flux RSS Audiovisuel
Mercredi 9 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.91 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 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 Événement Suivant dans le cycle Séminaire 11:00 - 12:00 Du lambda-calcul à la programmation Jean-Jacques Lévy 09 déc 2009 Penser, modéliser et maîtriser le calcul informatique Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 déc 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
Séminaire 11:00 - 12:00 Du lambda-calcul à la programmation Jean-Jacques Lévy 09 déc 2009 Penser, modéliser et maîtriser le calcul informatique Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 déc 2009 11:00 - 12:00