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

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

212015 Bibliothèque Tangente. N° 55. Sommes d'entiers. p. 102-102.
222015 Bibliothèque Tangente. N° 55. Idées lumineuses (3). p. 87-87.
232015 Bibliothèque Tangente. N° 55. Idées lumineuses (1). p. 39-39.
242015 Bibliothèque Tangente. N° 55. La récurrence et la base incomplète. p. 88-91.
252015 Bibliothèque Tangente. N° 55. Déterminer si des plans sont parallèles. p. 137-137.
262015 Bibliothèque Tangente. N° 55. Comment prouver son identité. p. 134-136.
272015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
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 démonstration automatique : un enjeu crucial. p. 130-131.
342015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
352015 Bibliothèque Tangente. N° 55. Cantor et les infinis. p. 98-101.
362015 Bibliothèque Tangente. N° 55. Les joies du transport de propriétés. p. 94-97.
372015 Bibliothèque Tangente. N° 55. Analyse et synthèse : une particularité mathématique. p. 64-67.
382015 Bibliothèque Tangente. N° 55. Non, les problèmes ne sont pas tous de même difficulté ! p. 108-114.
392015 Bibliothèque Tangente. N° 55. Des calculs à n'en plus finir. p. 104-107.
402015 Bibliothèque Tangente. N° 55. La méthode d'exhaustion, support de l'intuition. p. 119-119.