Aide à la recherche
Requête :
"logique formelle"
Chercher
tous les mots
l'expression
au moins un mot
dans
les fiches
la liste des mots-clés
la liste des auteurs
les notices du glossaire
Afficher les fiches par
20
50
100
68 fiches trouvées
Reponses 41 à 60
41
2001 Actes du séminaire national de didactique des mathématiques 2000. Logique et raisonnement mathématique - variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existentiels. p. 55-83.
42
2001 Introduction à la logique.
43
2001 Petit x. N° 55. p. 35-70. L'implication. Quelques aspects dans les manuels et points de vue d'élèves-professeurs.
44
1999 Information, complexité et hasard.
45
1999 Petit x. N° 50. p. 57-79. L'élève, le professeur et le labyrinthe.
46
1998 Enigmes et jeux logiques.
47
1998 La démonstration. Ecrire des mathématiques au collège et au lycée.
48
1998 Revue d'histoire des mathématiques. N° 4. Vol. 2. p. 237-260. Perspective historique sur les rapports entre la théorie des modèles et l'algèbre. Un point de vue tendancieux.
49
1997 Logique sans bosse. T. 1.
50
1997 Oedipeland.
51
1995 Différents types de savoirs et leur articulation.
52
1995 Différents types de savoirs et leur articulation. Place de la logique formelle comme outil d'analyse des connaissances mises en oeuvre dans le raisonnement mathématique dans une perspective didactique. p. 205-233.
53
1995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
54
1994 Information, complexité et hasard.
55
1994 Mathématiques constructives.
56
1994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.
57
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
58
1991 Quadrature. N° 10. p. 40-41. Un exercice de logique formelle.
59
1990 Le logotron.
60
1989 Le théorème de Gödel.