Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Logique Niveau : Formation à l'enseignement, initiale et continue.

352 fiches trouvées

Reponses 301 à 320

301	1984 Introduction à la logique.
302	1983 Petit x. N° 1. p. 57-73. Les cosmonautes. Compte rendu d'une recherche du groupe "apprentissage du raisonnement" de l'IREM de Grenoble.
303	1982 Bulletin de l'APMEP. N° 334. p. 525-530. A la recherche des libertés perdues. Episode 2 (suite).
304	1982 Grand N. N° 26. p. 77-78. Courrier.
305	1982 La rigueur et le calcul. Platon et les mathématiques. p. 153-172.
306	1981 Récurrence.
307	1981 Structure et connaissance scientifique.
308	1980 Bulletin de l'APMEP. N° 323. p. 235-243. Quel est l'âge du capitaine ?
309	1980 Le théorème de Gödel.
310	1980 Les démonstrations de cohérence de l'arithmétique.
311	1980 SILEX : douze exercices sur les quantificateurs avec un mini-ordinateur.
312	1979 Bulletin de l'APMEP. N° 317. p. 56-70. Des problèmes et des outils pour les résoudre.
313	1979 Grand N. N° 19. p. 63-70. Quel est l'âge du capitaine ?
314	1977 Mathématiques et sciences humaines. N° 60. p. 31-62. Sur l'histoire des diagrammes logiques, "figures géométriques".
315	1977 Une introduction - Tome 1 : à la logique.
316	1976 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.
317	1976 Essai de liaison math-français en 6ème et 5ème : fiches.
318	1976 Le Livre du problème. Vol. 1. Pédagogie de l'exercice et du problème.
319	1976 Le Livre du problème. Vol. 6. Géométrie d'incidence.
320	1975 Bulletin de l'APMEP. N° 301. p. 755-759. Une manière d'intégrer des éléments de logique dans l'enseignement des mathématiques en classe de Sixième.