Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Logique
Niveau : Enseignement supérieur
Certification IDDN Valid HTML 4.01 Transitional

Sélectionnez vos critères de recherche :
 
 
Auteur :
 Année  Année de fin
Ressource(s) CDI LittéraMath Ressource(s) en ligne Ressources en ligne   dont Bibliothèque numérique
Langue Public visé 
Type
Revue ou Collection
IREM / IRES
Commission Inter-IREM
Afficher les fiches par    
234 fiches trouvées Debut Precedent Reponses 101 à 120 Suivant Fin

1012009 Tangente Hors-série. N° 38. p. 50-52. Les théorèmes d'incomplétude de Kurt Gödel.
1022009 Tangente Hors-série. N° 38. p. 54-56. Questions philosophiques.
1032008 Culture maths. Ionesco ou l'invention de nouveaux axiomes théâtraux. p. 31-35.
1042008 Revue d'Histoire des Mathématiques. N° 14. Vol. 1. p. 77-111. Gödel et la thèse de Turing.Ressource en ligne
1052007 Actes du séminaire national de didactique des mathématiques 2006. L'utilisation des quantificateurs universel et existentiel en première année d'université, entre l'explicite et l'implicite. p. 101-121.
1062007 Bibliothèque Tangente. N° 28. Ionesco ou l'invention de nouveaux axiomes théâtraux. p. 60-63.
1072007 Histoire et enseignement des mathématiques. A propos de la démonstration mathématique qu'il faut faire payer les pauvres. p. 89-106.
1082007 Histoire et enseignement des mathématiques. Les démonstrations du postulat des parallèles. p. 29-62.
1092007 Histoire et enseignement des mathématiques. Les discours de l'évidence mathématique. p. 13-28.
1102006 Bibliothèque Tangente. N° 13. Le paradoxe de Jules Richard. p. 138-141.
1112006 Bibliothèque Tangente. N° 13. Le paradoxe du menteur revisité. p. 142-143.
1122005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.
1132005 Feuille de Vigne. N° 97. p. 16-23. Résolution de problèmes logiques par le calcul.Ressource en ligne
1142005 L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.
1152004 Actes du Séminaire National de Didactique des mathématiques 2003. Traitement de la validité de l'implication par des étudiants, corrélations avec leurs performances mathématiques, liens avec diverses questions de psychologique cognitive. p. 227-255.Ressource en ligne
1162004 Bibliothèque Tangente. N° 15. Calculabilité, décidabilité et complexité. p. 62-65.
1172004 Bibliothèque Tangente. N° 15. En toute logique. p. 120-122.
1182004 Bibliothèque Tangente. N° 15. Géométrie automatique. p. 70-71.
1192004 Bibliothèque Tangente. N° 15. L'intelligence artificielle. p. 52-55.
1202004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.