Détail de l'auteur
Auteur Philippe Pajot |
Documents disponibles écrits par cet auteur (2)
Ajouter le résultat dans votre panier Affiner la rechercheCoq : les maths ont trouvé leur maître / Philippe Pajot / Excelsior publications (2013) in La Science et la vie (Paris), 1148 (05/2013)
Titre : Coq : les maths ont trouvé leur maître Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Excelsior publications, 2013 Article : p.110-113 Langues : Français (fre)
in La Science et la vie (Paris) > 1148 (05/2013)Descripteurs : démonstration mathématique / logiciel Résumé : Enquête sur le logiciel Coq permettant de vérifier l’exactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théorème de Feit-Thompson ; précisions sur le développement et le potentiel d’utilisation de cet assistant informatique de preuves. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage [article] Coq : les maths ont trouvé leur maître [texte imprimé] / Philippe Pajot, Auteur . - Excelsior publications, 2013 . - p.110-113.
Langues : Français (fre)
in La Science et la vie (Paris) > 1148 (05/2013)
Descripteurs : démonstration mathématique / logiciel Résumé : Enquête sur le logiciel Coq permettant de vérifier l’exactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théorème de Feit-Thompson ; précisions sur le développement et le potentiel d’utilisation de cet assistant informatique de preuves. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire Archives 005039 Disponible
Titre : Penser types plutôt qu'ensembles Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Excelsior publications, 2013 Article : p.111-120 Note générale : Webographie. Langues : Français (fre)
in La Science et la vie (Paris) > 1153 (10/2013)Descripteurs : algèbre / analyse : logique / logique mathématique Mots-clés : science mathématique Résumé : Le point sur les idées neuves en mathématiques : retour sur l’histoire de l’avènement des "maths modernes" jusqu’au développement de la notion de type par Bertrand Russel ; explications concernant l’évolution des théories, des systèmes et de la logique ; précisions sur le nouveau langage et son intérêt pour les chercheurs (applications informatiques, influence dans l’enseignement). Nature du document : documentaire Genre : Article de périodique [article] Penser types plutôt qu'ensembles [texte imprimé] / Philippe Pajot, Auteur . - Excelsior publications, 2013 . - p.111-120.
Webographie.
Langues : Français (fre)
in La Science et la vie (Paris) > 1153 (10/2013)
Descripteurs : algèbre / analyse : logique / logique mathématique Mots-clés : science mathématique Résumé : Le point sur les idées neuves en mathématiques : retour sur l’histoire de l’avènement des "maths modernes" jusqu’au développement de la notion de type par Bertrand Russel ; explications concernant l’évolution des théories, des systèmes et de la logique ; précisions sur le nouveau langage et son intérêt pour les chercheurs (applications informatiques, influence dans l’enseignement). Nature du document : documentaire Genre : Article de périodique Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire Archives 005181 Disponible
