Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques.
Niveau : Enseignement supérieur, Post-Bac
Certification IDDN Valid HTML 4.01 Transitional

93 fiches trouvées Début Précédent Réponses 21 à 40 Suivant Fin

212015 Bibliothèque Tangente. N° 55. La démonstration par le contre-exemple (1). p. 17-17.
222015 Bibliothèque Tangente. N° 55. Haha ! p. 156-158.
232015 Bibliothèque Tangente. N° 55. L'étrange axiome du choix. p. 84-86.
242015 Bibliothèque Tangente. N° 55. Déterminer si des plans sont parallèles. p. 137-137.
252015 Bibliothèque Tangente. N° 55. Comment prouver son identité. p. 134-136.
262015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
272015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
282015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
292015 Bibliothèque Tangente. N° 55. La logique linéaire. p. 143-143.
302015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
312015 Bibliothèque Tangente. N° 55. Le "petit" théorème PCP. p. 148-151.
322015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
332015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
342015 Bibliothèque Tangente. N° 55. La méthode d'exhaustion, support de l'intuition. p. 119-119.
352015 Bibliothèque Tangente. N° 55. Les joies du transport de propriétés. p. 94-97.
362015 Bibliothèque Tangente. N° 55. La récurrence et la base incomplète. p. 88-91.
372015 Bibliothèque Tangente. N° 55. Démontrer : une grande variété de méthodes. p. 60-63.
382015 Bibliothèque Tangente. N° 55. Cantor et les infinis. p. 98-101.
392015 Bibliothèque Tangente. N° 55. Non, les problèmes ne sont pas tous de même difficulté ! p. 108-114.
402015 Bibliothèque Tangente. N° 55. Même le hasard peut créer des certitudes. p. 116-118.