logo librairie

CONNEXION



Mot de passe oublié?
Inscription
image mon panier
image TangenteMag

image Tangente Education
image Jouer Bridge
image logo Club Tangente

Livres > Culture Mathématique > Bibliothèque Tangente


POLE
Bibliothèque Tangente
2015
168 pages
ISBN:9782848841984

22,00 €

Bib 55 - Les démonstrations

Collectif POLE

Présentation

SOMMAIRE

Démonter : une histoire au long cours

Dossier 1 : Les fondements de la preuve

La possibilité de convaincre avec une absolue certitude fait à elle seule la spécificité des mathématiques, la différenciant des autres sciences. Tout au long d'une longue histoire, qui remonte aux Grecs de l'Antiquité et qui continue à s'écrire aujourd'hui, la recherche d'une justification, d'une preuve, d'une démonstration, a constitué l'activité qui caractérise le mathématicien.

Les bases de la logique / Cela existe, je l'ai démontré! / Bien choisir son axiomatique / Les limites de la preuve / Kurt Gödel, le vrai et le démontrable / Une démonstration peut-elle être purement visuelle? / Le rôle de l'analogie en mathématiques / Preuve et logique

Dossier 2 : Les grands classiques

Les différents modes de démonstration sont aujourd'hui bien établis. Certains datent de l'Antiquité, d'autres sont nés en France au XVIIe siècle. Le raisonnement par récurrence, qui est selon Henri Poincaré « une propriété de l'esprit lui-même », est plus récent. Tout l'art est de comprendre quelle technique de raisonnement s'appliquera à un problème donné...

Démontrer : une grande variété de méthodes / Analyse et synthèse : une particularité des mathématiques / Pour un tiroir de plus.../ Comment trouver un bon invariant / La démonstration par récurrence / L'étrange axiome du choix / La récurrence et la base incomplète / Les joies du transport de propriétés / Cantor et les infinis

Dossier 3 : De nouvelles formes de preuves

Si les bases de la logique sont désormais bien établies, de nouveaux outils pour la démonstration continuent à être introduits en mathématiques. L'arrivée des ordinateurs pose plusieurs questions fondamentales: les algorithmes utilisés produisent-ils toujours un résultat, ou peuvent-ils boucler sans fin ? Peut-on distinguer un problème « facile » d'un problème « difficile»?

Des calculs à n'en plus finir / Non, les problèmes ne sont pas tous de même difficulté! / Manipuler pour démontrer / Même le hasard peut créer des certitudes / La méthode d'exhaustion / L a théorie homotopique des types : de nouveaux fondements des maths ?

Dossier 4: Les apports de l’informatique

L'informatique théorique est la science qui nous a le plus obligés à repenser la notion de preuve. Les analogies entre démonstration mathématique et programme informatique sont maintenant bien établies. L'ordinateur offre des moyens de calculs inédits. Il devient même possible de certifier qu'une preuve mathématique est effectivement valide.

La démonstration automatique : un enjeu crucial / Prouver rapidement qu'une propriété est vérifiée ... ou pas / Comment prouver son identité / Une preuve de maths est un programme informatique ! / Vérifier une preuve en n'en lisant que quelques lettres ! / Le "petit"théorème PCP / Réduire la taille d'une preuve

Et aussi

La preuve par le contre-exemple / Idées lumineuses

Et toujours

En bref - notes de lecture - problèmes- solutions

Bibliothèque Tangente

Editions POLE

BIB 84 - La Tangence
Bibliothèque Tangente
24,00 €
BIB 83 - Mathématiques et jeux de ...
Bibliothèque Tangente
24,00 €
Bib 82 - Évariste Galois
Bibliothèque Tangente
24,00 €
Bib 81 - les distances
Bibliothèque Tangente
24,00 €
Bib 80 - Les groupes
Bibliothèque Tangente
24,00 €
BIB 79 - Henri Poincaré
Bibliothèque Tangente
24,00 €
BIB 78 - La géométrie de la règl...
Bibliothèque Tangente
22,00 €
BIB 77 - Mathématiques et imagerie
Bibliothèque Tangente
22,00 €
BIB 76 - Itération et récurrence
Bibliothèque Tangente
22,00 €
Bib 75 - Recherche opérationnelle
Bibliothèque Tangente
24,00 €
Bib 74 - Courbes et trajectoires
Bibliothèque Tangente
22,00 €
Bib 73 - Maths et emploi
Bibliothèque Tangente
22,00 €
Bib 72 - Maximum Minimum Optimum
Bibliothèque Tangente
22,00 €
Bib 71 - Les équations de la physi...
Bibliothèque Tangente
22,00 €
BIB 70 - Les Surfaces
Bibliothèque Tangente
22,00 €
Bib 69 - Mathématiques et physique
Bibliothèque Tangente
22,00 €
Bib 68 - Intelligence artificielle
Bibliothèque Tangente
22,00 €
Bib 67 - Mathématiques et dévelop...
Bibliothèque Tangente
22,00 €
Bib 66 - Les secrets des dimensions
Bibliothèque Tangente
22,00 €
Bib 65 - Vecteurs, espaces vectorie...
Bibliothèque Tangente
22,00 €
Bib 18 - Les fractales - Rééditio...
Bibliothèque Tangente
24,00 €
Bib 23 - Maths et arts plastiques -...
Bibliothèque Tangente
24,00 €
Bib 32 - Maths et finances - Editio...
Bibliothèque Tangente
24,00 €
Bib 33 - Les nombres et leurs secre...
Bibliothèque Tangente
24,00 €
Bib 64 - Découpages et Pavages
Bibliothèque Tangente
22,00 €
Bib 63 - Les nombres complexes
Bibliothèque Tangente
22,00 €
Bib 62 - Mathématiques et économi...
Bibliothèque Tangente
22,00 €
Bib 61 - La théorie des ensembles
Bibliothèque Tangente
22,00 €
Bib 60 - Mathématiques et architec...
Bibliothèque Tangente
22,00 €
Bib 59 - La droite
Bibliothèque Tangente
22,00 €
Bib 58 - Mathématiques et médecin...
Bibliothèque Tangente
22,00 €
Bib 57 - Les mathématiques des ass...
Bibliothèque Tangente
22,00 €
Bib 56 - Les fonctions
Bibliothèque Tangente
22,00 €
Bib 54 - Les graphes
Bibliothèque Tangente
22,00 €
Bib 53 - Les angles sous tous les a...
Bibliothèque Tangente
22,00 €
Bib 52 - Mathématiques & Informati...
Bibliothèque Tangente
22,00 €
Bib 51 - Mathématiques, de l'esthÃ...
Bibliothèque Tangente
22,00 €
Bib 50 - Le calcul intégral
Bibliothèque Tangente
22,00 €
Bib 49 - Les maths de l'impossible
Bibliothèque Tangente
22,00 €
Bib 48 - Ambassadeurs français des...
Bibliothèque Tangente
22,00 €
Bib 47 - La magie des invariants ma...
Bibliothèque Tangente
22,00 €
Bib 46 - Théorie des jeux
Bibliothèque Tangente
22,00 €
Bib 45 - Maths et politique
Bibliothèque Tangente
22,00 €
Bib 44 - Matrices
Bibliothèque Tangente
22,00 €
Bib 43 - Maths et Chimie
Bibliothèque Tangente
22,00 €
Bib 42 - Mathématiques et biologie
Bibliothèque Tangente
22,00 €
Bib 41 - Suites & séries
Bibliothèque Tangente
22,00 €
Bib 40 - Maths & géographie
Bibliothèque Tangente
22,00 €
Bib 39 - Mathématiques discrètes ...
Bibliothèque Tangente
22,00 €
Bib 36 - Le cercle
Bibliothèque Tangente
22,00 €
Bib 30 - Histoire des maths de l'an...
Bibliothèque Tangente
22,00 €
Bib 29 - Leonhard Euler, un génie ...
Bibliothèque Tangente
22,00 €
Bib 28 - Maths et littérature éd ...
Bibliothèque Tangente
24,00 €
Bib 24 - Le triangle
Bibliothèque Tangente
22,00 €
Bib 22 - Équations algébriques
Bibliothèque Tangente
22,00 €
Bib 21 - Astronomie : la géométri...
Bibliothèque Tangente
22,00 €
Bib 20 - Les jeux mathématiques
Bibliothèque Tangente
22,00 €
Bib 19 - Maths et sports
Bibliothèque Tangente
22,00 €
Bib 17 - Hasard et probabilités
Bibliothèque Tangente
22,00 €
Bib 15 - La logique
Bibliothèque Tangente
22,00 €
Bib 13 - L'infini
Bibliothèque Tangente
22,00 €
Bib 11 - Maths et musique éd 2022
Bibliothèque Tangente
24,00 €
Bib 10 - 1000 ans d'histoire des ma...
Bibliothèque Tangente
22,00 €
Lot Maths et physique Bib 69 + Bib ...
Bibliothèque Tangente
42,00 €