Aide à la recherche
Liste Mots-Clés
Liste Auteurs
Recherche avancée :
Classification
: Logique
Niveau : Enseignement supérieur
234 fiches trouvées
Reponses 221 à 234
221
1993 Logique mathématique. T. 1.
222
1993 Tangente. N° 30. p. 4-7. L'anti-mathématique de Ionesco.
223
1991 Logique et enseignement mathématique. Document à l'attention des professeurs de mathématiques.
224
1991 Logique et raisonnement mathématique. Document à l'usage des élèves et étudiants scientifiques.
225
1991 Place de la logique dans l'activité mathématique des étudiants du premier cycle scientifique.
226
1991 Quadrature. N° 8. p. 11-12. Boole : vraiment un oiseau de nuit en plein jour.
227
1991 Quadrature. N° 8. p. 13-15. Algèbre de Boole : axiomes minimaux.
228
1991 Raisonnement et méthodes de démonstrations.
229
1990 Le logotron.
230
1990 Tangente. N° 18. p. 44-45. Logique, sir !
231
1984 Preuves et Réfutations.
232
1980 Le théorème de Gödel.
233
1977 Une introduction - Tome 1 : à la logique.
234
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.