Descripteurs
> 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (48)
Affiner la recherche
Maths et mots / Edith Wolf in Nouvelle revue pédagogique, 1 (septembre 1998)
[article]
Titre : Maths et mots Type de document : texte imprimé Auteurs : Edith Wolf, Auteur ; Hélène Poiraud-Lizabault, Auteur Année : 1998 Article : p. 49-50
in Nouvelle revue pédagogique > 1 (septembre 1998)Descripteurs : démonstration mathématique / langage Résumé : Proposition de travail interdisciplinaire en mathématiques et français axé sur des figures géométriques et visant à faire utiliser les notions de discours et de récit, à faire formuler des raisonnements dans une démonstration, à faire prendre conscience de la situation d'énonciation dans un écrit mathématique en classe de 4e.
Nature du document : documentaire [article]
Maths et mots
de Edith Wolf, Hélène Poiraud-Lizabault
In Nouvelle revue pédagogique, 1 (septembre 1998), p. 49-50
Proposition de travail interdisciplinaire en mathématiques et français axé sur des figures géométriques et visant à faire utiliser les notions de discours et de récit, à faire formuler des raisonnements dans une démonstration, à faire prendre conscience de la situation d'énonciation dans un écrit mathématique en classe de 4e.
Des nouvelles de la conjecture de Syracuse / Daniel Lignon / Archimède (2020) in Tangente. Hors-série (Paris), 076 (10/2020)
[article]
Titre : Des nouvelles de la conjecture de Syracuse Type de document : texte imprimé Auteurs : Daniel Lignon, Auteur Editeur : Archimède, 2020 Article : p.8-11 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Tangente. Hors-série (Paris) > 076 (10/2020)Descripteurs : démonstration mathématique / problème mathématique / suite mathématique Résumé : Présentation de la conjecture de Syracuse énoncée par le mathématicien Lothar Collatz et des tentatives de démonstration par Paul Erdos, Oliveira e Silva, David Barina, Richard Crandall, Jeffrey Lagarias, Ilia Krasikov, Jean-Paul Allouche, Ivan Korec, Terence Tao. Encadrés : présentation du mathématicien Lothar Collatz et de la diffusion de sa conjecture également appelée conjecture de Collatz, algorithme de Hasse, conjecture d'Ulam, problème de Kakutani, conjecture 3x + 1 ou 3n + 1. La réduction du volume des calculs pour vérifier la conjecture de Syracuse pour un entier n donné. Définition de l'expression "presque tout" dans un contexte mathématique. Nature du document : documentaire Genre : / Article de périodique //Article de périodique [article]
Des nouvelles de la conjecture de Syracuse
de Daniel Lignon
In Tangente. Hors-série (Paris), 076 (10/2020), p.8-11
Présentation de la conjecture de Syracuse énoncée par le mathématicien Lothar Collatz et des tentatives de démonstration par Paul Erdos, Oliveira e Silva, David Barina, Richard Crandall, Jeffrey Lagarias, Ilia Krasikov, Jean-Paul Allouche, Ivan Korec, Terence Tao. Encadrés : présentation du mathématicien Lothar Collatz et de la diffusion de sa conjecture également appelée conjecture de Collatz, algorithme de Hasse, conjecture d'Ulam, problème de Kakutani, conjecture 3x + 1 ou 3n + 1. La réduction du volume des calculs pour vérifier la conjecture de Syracuse pour un entier n donné. Définition de l'expression "presque tout" dans un contexte mathématique.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 023571 Disponible Un orfèvre du raisonnement par récurrence / Marc Thierry / Archimède (2023) in Tangente. Hors-série (Paris), 085 (03/2023)
[article]
Titre : Un orfèvre du raisonnement par récurrence Type de document : texte imprimé Auteurs : Marc Thierry Editeur : Archimède, 2023 Article : p.14-16 Langues : Français (fre)
in Tangente. Hors-série (Paris) > 085 (03/2023)Descripteurs : démonstration mathématique Mots-clés : Pascal, Blaise (1623-1662) raisonnement scientifique Résumé : Présentation et explication du raisonnement par récurrence (raisonnement par induction mathématique ou induction complète) utilisé dans les démonstrations mathématiques et mis en oeuvre par le philosophe et mathématicien Blaise Pascal : l'origine du raisonnement par récurrence ; ses précurseurs ; ses utilisations par Blaise Pascal et les limites à celles-ci. Encadrés : un exemple classique de raisonnement par récurrence (calcul en fonction de l'entier naturel n la somme 1+2+3+...+n) ; un exemple moins intuitif de raisonnement par récurrence (calcul du nombre Pn de permutations de n objets). Bibliographie. Nature du document : documentaire Genre : Article de périodique [article]
Un orfèvre du raisonnement par récurrence
de Marc Thierry
In Tangente. Hors-série (Paris), 085 (03/2023), p.14-16
Présentation et explication du raisonnement par récurrence (raisonnement par induction mathématique ou induction complète) utilisé dans les démonstrations mathématiques et mis en oeuvre par le philosophe et mathématicien Blaise Pascal : l'origine du raisonnement par récurrence ; ses précurseurs ; ses utilisations par Blaise Pascal et les limites à celles-ci. Encadrés : un exemple classique de raisonnement par récurrence (calcul en fonction de l'entier naturel n la somme 1+2+3+...+n) ; un exemple moins intuitif de raisonnement par récurrence (calcul du nombre Pn de permutations de n objets). Bibliographie.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 025797 Disponible Aux origines de la calculabilité / Pierre Lescanne / Pour la Science (2012) in Pour la science. Dossier, 074 (01/2012)
[article]
Titre : Aux origines de la calculabilité Type de document : texte imprimé Auteurs : Pierre Lescanne, Auteur Editeur : Pour la Science, 2012 Article : p.76-81 Note générale : Bibliographie.
in Pour la science. Dossier > 074 (01/2012)Descripteurs : démonstration mathématique / équation / problème mathématique Résumé : Origine de la science mathématique de la calculabilité, permettant d'élaborer des algorithmes, grâce au 10e problème de Hilbert demandant de concevoir un algorithme général capable de déterminer si une équation diophantienne quelconque peut être résolue. Définition d'un algorithme et présentation de modèles de calcul. Présentation de la démonstration du problème de Hilbert, avec les travaux de Julia Robinson et de Iouri Matiassevitch. Nature du document : documentaire Genre : Article de périodique [article]
Aux origines de la calculabilité
de Pierre Lescanne
In Pour la science. Dossier, 074 (01/2012), p.76-81
Origine de la science mathématique de la calculabilité, permettant d'élaborer des algorithmes, grâce au 10e problème de Hilbert demandant de concevoir un algorithme général capable de déterminer si une équation diophantienne quelconque peut être résolue. Définition d'un algorithme et présentation de modèles de calcul. Présentation de la démonstration du problème de Hilbert, avec les travaux de Julia Robinson et de Iouri Matiassevitch.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 013940 Disponible Les processus itératifs au coeur de l'activité mathématique / Fabien Aoustin / Archimède (2020) in Tangente. Hors-série (Paris), 076 (10/2020)
[article]
Titre : Les processus itératifs au coeur de l'activité mathématique Type de document : texte imprimé Auteurs : Fabien Aoustin, Auteur Editeur : Archimède, 2020 Article : p.6-8 Note générale : Bibliographie. Langues : Français (fre)
in Tangente. Hors-série (Paris) > 076 (10/2020)Descripteurs : démonstration mathématique / problème mathématique Résumé : Le point sur la place de l'itération comme méthode de résolution de problèmes mathématiques, depuis ses origines jusqu'à aujourd'hui, notamment grâce aux apports des mathématiciens Euclide, Blaise Pascal et Henri Poincaré. Encadrés : l'importance du raisonnement par récurrence chez Henri Poincaré ; un exemple de récursivité avec le casse-tête des tours de Hanoï. Nature du document : documentaire Genre : / Article de périodique //Article de périodique [article]
Les processus itératifs au coeur de l'activité mathématique
de Fabien Aoustin
In Tangente. Hors-série (Paris), 076 (10/2020), p.6-8
Le point sur la place de l'itération comme méthode de résolution de problèmes mathématiques, depuis ses origines jusqu'à aujourd'hui, notamment grâce aux apports des mathématiciens Euclide, Blaise Pascal et Henri Poincaré. Encadrés : l'importance du raisonnement par récurrence chez Henri Poincaré ; un exemple de récursivité avec le casse-tête des tours de Hanoï.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 023571 Disponible Processus itératifs et récurrence / Archimède (2020) in Tangente. Hors-série (Paris), 076 (10/2020)
PermalinkLe programme de Langlands / Robert Langlands / Pour la Science (2012) in Pour la science. Dossier, 074 (01/2012)
PermalinkProuver sans dire / Elisabeth Busser / Archimède (2022) in Tangente (Paris), 205 (05/2022)
PermalinkQuand considère-t-on qu'un théorème est définitivement prouvé ? / Jean-Paul Delahaye / Pour la Science (2017) in Pour la science, 475 (05/2017)
PermalinkQuand l'erreur s'avère fructueuse / Elisabeth Busser / Archimède (2020) in Tangente (Paris), 196 (10/2020)
PermalinkRaisonner, c'est résoudre / Elisabeth Busser / Archimède (2018) in Tangente (Paris), 183 (07/2018)
PermalinkLes techniques du prodigieux Terence Tao / Jacques Bair / Archimède (2018) in Tangente (Paris), 183 (07/2018)
PermalinkLa tenace conjecture de Syracuse / Jean-Paul Delahaye / Pour la Science (2021) in Pour la science, 529 (11/2021)
PermalinkThéorème : l'ordinateur fait ses preuves / Philippe Pajot / Sciences et avenir (2013) in Sciences & avenir. Hors série, 176 (10/2013)
PermalinkLa transformation conforme et Karl Löwner / Philippe Boulanger / Archimède (2013) in Tangente (Paris), 153 (07/2013)
Permalink