Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (9)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
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[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05936 Disponible 
Article : texte imprimé
Rappel du problème des pentagones convexes pouvant remplir complètement une surface et présentation de la démonstration. Encadrés : schémas des quinze types de pentagones qui pavent le plan ; les pavages apériodiques.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07223 Disponible 
Article : texte imprimé
Le point, en mathématiques, sur la résolution de la conjecture de la sensitivité par un jeune mathématicien chinois, Hao Huang : la conjecture de la sensitivité portant sur la complexité des fonctions booléennes, l'utilisation des hypercubes pou[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07907 Disponible 
Article : texte imprimé
Présentation de la disjonction de Gödel qui propose une réflexion mathématique sur la nature même de l'esprit humain : les deux termes de la disjonction énoncée par Kurt Gödel, l'indécidabilité mathématique et les théorèmes d'incomplétude de Göd[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07240 Disponible 
Article : texte imprimé
Rôle de l'ordinateur dans la démonstration automatique de théorèmes mathématiques. Limites de la vérification humaine. Capacité de contrôle des mathématiciens.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 03028 Disponible 
Article : texte imprimé
Présentation, en mathématiques, de la conjecture de Syracuse-Collatz et des différentes avancées pour tenter de la prouver.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 08027 Disponible Article : texte imprimé
Le point sur la vérification du théorème de Feit-Thompson par l'équipe de Georges Gonthier du Centre commun de recherche Inria-Microsoft en septembre 2012, grâce aux outils informatiques : du théorème à sa démonstration, la question de l'efficac[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06027 Disponible 
Article : texte imprimé
Réflexion sur le concept du "problème de transport optimal" consistant à réduire au maximum un "coût" pour une tâche donnée. Réflexion menée à l'origine par Gaspard Monge, simplifiée par Leonid Kantorovitch. Renouveau du transport optimal avec l[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Pério documentaire CDI 08074 Disponible 
Article : texte imprimé
Le point sur la démonstration proposée par Eric Larson et Isabel Vogt, deux mathématiciens américains, pour résoudre le problème d'interpolation : un problème géométrique consistant à trouver par combien de points il est possible de forcer une c[...]Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire
