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 221 à 234

2211993 Logique mathématique. T. 1.
2221993 Tangente. N° 30. p. 4-7. L'anti-mathématique de Ionesco.
2231991 Logique et enseignement mathématique. Document à l'attention des professeurs de mathématiques.Ressource en ligne
2241991 Logique et raisonnement mathématique. Document à l'usage des élèves et étudiants scientifiques.Ressource en ligne
2251991 Place de la logique dans l'activité mathématique des étudiants du premier cycle scientifique.
2261991 Quadrature. N° 8. p. 11-12. Boole : vraiment un oiseau de nuit en plein jour.Ressource en ligne
2271991 Quadrature. N° 8. p. 13-15. Algèbre de Boole : axiomes minimaux.Ressource en ligne
2281991 Raisonnement et méthodes de démonstrations.Ressource en ligne
2291990 Le logotron.Ressource en ligne
2301990 Tangente. N° 18. p. 44-45. Logique, sir !
2311984 Preuves et Réfutations.
2321980 Le théorème de Gödel.
2331977 Une introduction - Tome 1 : à la logique.Ressource en ligne
2341976 Bulletin de l'APMEP. N° 302. p. 93-106. La démonstration automatique de théorèmes : des méthodes et des résultats qui concernent l'enseignement des mathématiques.Ressource en ligne