Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Logique Niveau : Enseignement supérieur

231 fiches trouvées

Reponses 221 à 231

221	1991 Logique et raisonnement mathématique. Document à l'usage des élèves et étudiants scientifiques.
222	1991 Place de la logique dans l'activité mathématique des étudiants du premier cycle scientifique.
223	1991 Quadrature. N° 8. p. 11-12. Boole : vraiment un oiseau de nuit en plein jour.
224	1991 Quadrature. N° 8. p. 13-15. Algèbre de Boole : axiomes minimaux.
225	1991 Raisonnement et méthodes de démonstrations.
226	1990 Le logotron.
227	1990 Tangente. N° 18. p. 44-45. Logique, sir !
228	1984 Preuves et Réfutations.
229	1980 Le théorème de Gödel.
230	1977 Une introduction - Tome 1 : à la logique.
231	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.