118 résultats : théorème

Recherche en cours

Par mots-clef = théorème

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

118 résultats

page 12 sur 12

résultats 111 à 118

Preuves formelles, preuves calculatoires

Description : Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.

Mots clés : méthode formelle, théorème des quatre couleurs, coloration de graphe, conjoncture de Kepler, Coq, fuscia

Date : 08-01-2007

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Preuves formelles, preuves calculatoires

Ajouter à mon panier

Accéder au document

La vérité et la machine

Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.

Mots clés : preuve de programme, preuve formelle, logique mathématique, démonstration, Coq, théorème des quatre couleurs, fuscia

Date : 11-12-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La vérité et la machine

Ajouter à mon panier

Accéder au document

Algorithmes diviser pour régner -- Algorithmique

Description : Ce module présente le paradigme "diviser pour régner", donne le Master-Théorème des algorithmes "diviser pour régner" puis l'applique sur la multiplication de matrices.

Mots clés : Techniques de conception, Paradigme diviser pour régner, Master-Théorème, Multiplication de matrices

Date : 04-2015

Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur

Algorithmes diviser pour régner -- Algorithmique

Ajouter à mon panier

Accéder au document

Le tonneau percé

Description : Une bouteille en plastique percée de plusieurs trous montre que la pression dans un liquide augmente avec la profondeur d’immersion. Cette expérience facile à réaliser est une vérification du principe de Torricelli. http://phymain.unisciel.fr/le-tonneau-perce/

Mots clés : pression, théorème de Bernoulli, physique à main levée, tpe, pression dans un liquide, théorème de Torricelli

Date : 09-07-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

Le tonneau percé

Ajouter à mon panier

Accéder aux documents

La fontaine

Description : En créant une dépression dans un bocal fermé hermétiquement, on peut aspirer l’eau d’un réservoir qui jaillit dans le bocal comme le ferait une fontaine : une belle illustration du principe fondamental de l’hydrostatique, avec l’aide de la pression atmosphérique. http://phymain.unisciel.fr/la ...

Mots clés : pression, théorème de Bernoulli, physique à main levée, tpe, pression dans un liquide, pression atmosphérique, équation d’état des gaz parfaits

Date : 09-07-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

La fontaine

Ajouter à mon panier

Accéder aux documents

Faire des bulles de savon géantes

Description : Un mélange d’eau, de produit vaisselle, de colle à papiers peints et de sucre est réalisé puis laissé au repos un ou deux jours. On peut alors réaliser des bulles de savon géantes, capables d’emprisonner complètement un enfant. http://phymain.unisciel.fr/faire-des-bulles-de-savon-geantes/

Mots clés : théorème de Bernoulli, physique à main levée, tpe, bulles de savon

Date : 09-07-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

Faire des bulles de savon géantes

Ajouter à mon panier

Accéder aux documents

L'ordinateur au cœur de la découverte mathématique

Description : L’ordinateur joue un rôle essentiel dans le travail du mathématicien, en lui permettant de gérer la complexité de certaines preuves.

Mots clés : mathématiques pour l'informatique, calcul formel, théorème des quatre couleurs, mathématiques discrètes, coloration graphe, preuve par ordinateur, fuscia

Date : 01-09-2011

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

L'ordinateur au cœur de la découverte mathématique

Ajouter à mon panier

Accéder au document

Suites de nombres réels

Description : Ce chapitre propose une étude des suites de nombres réels ou suites numériques au travers des notions de convergence, de divergence, et de limite

Mots clés : réels, suites, suites convergentes, suites récurentes, critère ce Cauchy, Théorème de Bolzano-Weierstrass

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Suites de nombres réels

Ajouter à mon panier

Accéder au document

Rebondir