Aide à la recherche
Liste Mots-Clés
Liste Auteurs
Recherche avancée :
Classification
: Logique
Niveau : Enseignement supérieur
231 fiches trouvées
Reponses 201 à 220
201
2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.
202
1999 Information, complexité et hasard.
203
1999 Mathématiques et Pédagogie. N° 124. p. 5-14. Une heuristique basée sur la méthode CBR (Case Based Reasoning) pour résoudre des problèmes de mathématiques.
204
1999 Revue d'histoire des sciences. Vol. 52. N° 3-4. Mathématique et logique chez Bolzano.
205
1999 Revue d'histoire des sciences. Vol. 52. N° 3-4. p. 385-398. Bolzano's criticism of indirect proofs.
206
1999 Revue d'histoire des sciences. Vol. 52. N° 3-4. p. 479-506. Forme, variation et déductibilité dans la logique de Bolzano.
207
1999 Une heuristique basée sur la méthode CBR (Case Based Reasoning) pour résoudre des problèmes de mathématiques.
208
1998 Enigmes et jeux logiques.
209
1997 Logique sans bosse. T. 1.
210
1997 Logique sans bosse. T. 2.
211
1996 Quadrature. N° 24. p. 13-17. C'est é-lé-men-taire !
212
1995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
213
1995 Tangente. N° 42. p. 40-42. Logicologique II.
214
1995 Tangente. N° 44. p. 22-23. Suites logiques.
215
1994 Information, complexité et hasard.
216
1994 Tangente. N° 38. p. 4-7. L'Y, cette inconnue.
217
1994 Tangente. N° 38. p. 40-42. Logicologique.
218
1993 Logique mathématique. T. 1.
219
1993 Tangente. N° 30. p. 4-7. L'anti-mathématique de Ionesco.
220
1991 Logique et enseignement mathématique. Document à l'attention des professeurs de mathématiques.