Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Logique
Niveau : Formation à l'enseignement, initiale et continue.
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    
356 fiches trouvées Debut Precedent Reponses 301 à 320 Suivant Fin

3011985 Apprentissage du raisonnement.Ressource en ligne
3021985 Groupe Français-Mathématiques . T. 2.Ressource en ligne
3031985 Interprétations d'énoncés implicatifs et traitements logiques.
3041985 Les questions et leur logique.Ressource en ligne
3051984 Introduction à la logique.Ressource en ligne
3061983 Petit x. N° 1. p. 57-73. Les cosmonautes. Compte rendu d'une recherche du groupe "apprentissage du raisonnement" de l'IREM de Grenoble.Ressource en ligne
3071982 Bulletin de l'APMEP. N° 334. p. 525-530. A la recherche des libertés perdues. Episode 2 (suite).Ressource en ligne
3081982 Grand N. N° 26. p. 77-78. Courrier.Ressource en ligne
3091982 La rigueur et le calcul. Platon et les mathématiques. p. 153-172.
3101981 Récurrence.
3111981 Structure et connaissance scientifique.
3121980 Bulletin de l'APMEP. N° 323. p. 235-243. Quel est l'âge du capitaine ?Ressource en ligne
3131980 Le théorème de Gödel.
3141980 Les démonstrations de cohérence de l'arithmétique.Ressource en ligne
3151980 SILEX : douze exercices sur les quantificateurs avec un mini-ordinateur.
3161979 Bulletin de l'APMEP. N° 317. p. 56-70. Des problèmes et des outils pour les résoudre.Ressource en ligne
3171979 Grand N. N° 19. p. 63-70. Quel est l'âge du capitaine ?Ressource en ligne
3181977 Mathématiques et sciences humaines. N° 60. p. 31-62. Sur l'histoire des diagrammes logiques, "figures géométriques".Ressource en ligne
3191977 Une introduction - Tome 1 : à la logique.Ressource en ligne
3201976 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