Coq : les maths ont trouvé leur maître / Philippe Pajot / Excelsior publications (2013) in La Science et la vie (Paris), 1148 (05/2013)

Public ISBD [article]  inLa 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) 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

Mathématiques : la démonstration historique / Camille Laurens / Unique Heritage Media (2024) in Epsiloon, 041 (11/2024)

Public ISBD [article]  inEpsiloon > 041 (11/2024) Titre : Mathématiques : la démonstration historique Type de document : texte imprimé Auteurs : Camille Laurens ; Hervé Poirier Editeur : Unique Heritage Media, 2024 Article : p.42-55 Langues : Français (fre) Descripteurs : démonstration mathématique Résumé : Dossier présentant les avancées dans la résolution d'une partie du programme de Langlands. La comparaison avec le théorème de Fermat et aperçu historique de la formulation du programme de Langlands ; la résolution de sa dimension géométrique. Chronologie retraçant les principales découvertes en arithmétique menant au programme de Langlands. Nature du document : documentaire Genre : Article de périodique [article] Mathématiques : la démonstration historique [texte imprimé] / Camille Laurens ; Hervé Poirier . - Unique Heritage Media, 2024 . - p.42-55. Langues : Français (fre) in Epsiloon > 041 (11/2024) Descripteurs : démonstration mathématique Résumé : Dossier présentant les avancées dans la résolution d'une partie du programme de Langlands. La comparaison avec le théorème de Fermat et aperçu historique de la formulation du programme de Langlands ; la résolution de sa dimension géométrique. Chronologie retraçant les principales découvertes en arithmétique menant au programme de Langlands. Nature du document : documentaire Genre : Article de périodique

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité
aucun exemplaire

La rhétorique mathématique d'Archimède : où priment les canons de rigueur / Marie Beaulieu / Accromath (06/2015)  

Public ISBD Titre : La rhétorique mathématique d'Archimède : où priment les canons de rigueur Type de document : document électronique Auteurs : Marie Beaulieu ; Bernard R. Hodgson Editeur : Accromath, 06/2015 Format : Web Langues : Français (fre) Descripteurs : démonstration mathématique Mots-clés : déduction (logique)  Archimède (287-212 av. J.-C.) Résumé : Le point sur la notion de rigueur en mathématique pour les Grecs antiques : l'influence d'Aristote, la rigueur de la démarche déductive ; la place de la rigueur et celle de l'intuition ; les traités "La méthode" et "La quadrature de la parabole" d'Archimède, ses propositions 24 et 20, sa démonstration dite géométrique pour quarrer un segment parabolique (le calcul de l'aire d'un segment de parabole) ; la rhétorique argumentaire. Nature du document : documentaire Genre : Documentaire Niveau : Classe de 1ère/Classe de Terminale/Lycée/Secondaire En ligne : https://accromath.uqam.ca/2015/10/la-rhetorique-mathematique-darchimede-ou-prime [...] La rhétorique mathématique d'Archimède : où priment les canons de rigueur [document électronique] / Marie Beaulieu ; Bernard R. Hodgson . - Accromath, 06/2015 . -  ; Web. Langues : Français (fre) Descripteurs : démonstration mathématique Mots-clés : déduction (logique)  Archimède (287-212 av. J.-C.) Résumé : Le point sur la notion de rigueur en mathématique pour les Grecs antiques : l'influence d'Aristote, la rigueur de la démarche déductive ; la place de la rigueur et celle de l'intuition ; les traités "La méthode" et "La quadrature de la parabole" d'Archimède, ses propositions 24 et 20, sa démonstration dite géométrique pour quarrer un segment parabolique (le calcul de l'aire d'un segment de parabole) ; la rhétorique argumentaire. Nature du document : documentaire Genre : Documentaire Niveau : Classe de 1ère/Classe de Terminale/Lycée/Secondaire En ligne : https://accromath.uqam.ca/2015/10/la-rhetorique-mathematique-darchimede-ou-prime [...]