Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Raisonnements et démonstrations en mathématiques
Niveau : Enseignement supérieur
Certification IDDN Valid HTML 4.01 Transitional

156 fiches trouvées Début Précédent Réponses 61 à 80 Suivant Fin

612015 Bibliothèque Tangente. N° 55. Manipuler pour démontrer p. 115-115.
622015 Bibliothèque Tangente. N° 55. Tous les triangles sont équilatéraux ! p. 47-47.
632015 Bibliothèque Tangente. N° 55. La méthode d'exhaustion, support de l'intuition. p. 119-119.
642015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
652015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
662015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
672015 Bibliothèque Tangente. N° 55. Comment prouver son identité. p. 134-136.
682015 Bibliothèque Tangente. N° 55. Déterminer si des plans sont parallèles. p. 137-137.
692015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
702015 Bibliothèque Tangente. N° 55. La logique linéaire. p. 143-143.
712015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
722015 Bibliothèque Tangente. N° 55. Le "petit" théorème PCP. p. 148-151.
732015 Bibliothèque Tangente. N° 55. Réduire la taille d'une preuve. p. 152-155.
742015 Bibliothèque Tangente. N° 55. La preuve par le contre-exemple (4). p. 46-46.
752015 Bibliothèque Tangente. N° 55. La preuve par le contre-exemple (5). p. 54-54.
762015 Bibliothèque Tangente. N° 55. Des calculs à n'en plus finir. p. 104-107.
772015 Bibliothèque Tangente. N° 55. La preuve par le contre-exemple (3). p. 29-29.
782015 Bibliothèque Tangente. N° 55. Comment trouver le bon invariant. p. 74-77.
792015 Bibliothèque Tangente. N° 55. Bien choisir son axiomatique. p. 24-28.
802015 Bibliothèque Tangente. N° 55. Les démonstrations.