05 mai 2025 10:00 à 11:00 Cours Espaces d’Eilenberg-MacLane et cohomologie Thierry Coquand Théorie des types dépendants et formalisation des mathématiques 05 mai 2025 10:00 à 11:00 Partager Facebook X (ex-Twitter) Linkedin Copier le lien Flux RSS Audiovisuel
Lundi 5 mai 2025 Salle 5, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 10:00 - 11:00 Ajouter à mon agenda iCalendar (.ics) Google Calendar Microsoft Outlook Office 365 Yahoo! Calendar Plan du cours :opération de débouclage des groupes ;un exemple paradigmatique de définition de types qui ne sont pas des ensembles, les espaces d’Eilenberg-MacLane ; utilisation de ces types pour définir les groupes de cohomologie. Intervenant(s) Thierry Coquand Professeur en informatique, Université de Göteborg, Suède Voir aussi Thierry Coquand, chaire Informatique et sciences numériques Théorie des types dépendants et formalisation des mathématiques Événements Événement Précédent dans le cycle Cours 10:00 - 11:00 Le mystère de l’égalité ; la notion de type comme généralisation de la notion d’ensemble Thierry Coquand 28 avr 2025 Théorie des types dépendants et formalisation des mathématiques Salle 5, Site Marcelin Berthelot 28 avr 2025 10:00 - 11:00 Événement Suivant dans le cycle Cours 10:00 - 11:00 Modèles de la théorie des types et du principe d’univalence Thierry Coquand 12 mai 2025 Théorie des types dépendants et formalisation des mathématiques Salle 5, Site Marcelin Berthelot 12 mai 2025 10:00 - 11:00
Cours 10:00 - 11:00 Le mystère de l’égalité ; la notion de type comme généralisation de la notion d’ensemble Thierry Coquand 28 avr 2025 Théorie des types dépendants et formalisation des mathématiques Salle 5, Site Marcelin Berthelot 28 avr 2025 10:00 - 11:00
Cours 10:00 - 11:00 Modèles de la théorie des types et du principe d’univalence Thierry Coquand 12 mai 2025 Théorie des types dépendants et formalisation des mathématiques Salle 5, Site Marcelin Berthelot 12 mai 2025 10:00 - 11:00