Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Logique
Niveau : Enseignement supérieur
Certification IDDN Valid HTML 4.01 Transitional

237 fiches trouvées Debut Precedent Reponses 221 à 237

2211994 Tangente. N° 38. p. 4-7. L'Y, cette inconnue.
2221994 Tangente. N° 38. p. 40-42. Logicologique.
2231993 Logique mathématique. T. 1.
2241993 Tangente. N° 30. p. 4-7. L'anti-mathématique de Ionesco.
2251991 Logique et enseignement mathématique. Document à l'attention des professeurs de mathématiques.Ressource en ligne
2261991 Logique et raisonnement mathématique. Document à l'usage des élèves et étudiants scientifiques.Ressource en ligne
2271991 Place de la logique dans l'activité mathématique des étudiants du premier cycle scientifique.
2281991 Quadrature. N° 8. p. 11-12. Boole : vraiment un oiseau de nuit en plein jour.Ressource en ligne
2291991 Quadrature. N° 8. p. 13-15. Algèbre de Boole : axiomes minimaux.Ressource en ligne
2301991 Raisonnement et méthodes de démonstrations.Ressource en ligne
2311990 Le logotron.Ressource en ligne
2321990 Tangente. N° 18. p. 44-45. Logique, sir !
2331989 Tangente. N° 9. p. 44-47. Le vrai et le faux.
2341984 Preuves et Réfutations.
2351980 Le théorème de Gödel.
2361977 Une introduction - Tome 1 : à la logique.Ressource en ligne
2371976 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.Ressource en ligne