Mathématice, intégration des Tice dans l'enseignement des mathématiques  
Sommaire > N°68 - Janvier 2020 > Langages des maths, langages de l’informatique
Langages des maths, langages de l’informatique
Mis en ligne le 26 décembre 2019

Serge Abiteboul et Gilles Dowek interviewent Thierry Coquand, informaticien et mathématicien français, professeur à l’Université de Göteborg en Suède. Thierry Coquand est l’auteur de nombreux travaux en théorie de la démonstration et sur les mathématiques constructives. Il est, en particulier, à l’origine, avec Gérard Huet, du Calcul des constructions, qui est la théorie implémentée dans le système Coq (voir encadré en fin d’article).

Voir l’article (dans le blog Binaire)

Moteur de recherche
MathémaTICE est un projet
en collaboration avec
Suivre la vie du site Flux RSS 2.0  |  Espace de rédaction  |  Nous contacter  |  Site réalisé avec: SPIP  |  N° ISSN 2109-9197