Accueil Publimath  Aide à la recherche  Requête : "logique classique"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
32 fiches trouvées Début Précédent Réponses 21 à 32

212003 Tangente Hors-série. N° 15. Vol. 2. p. 18-20. La logique floue.
222001 Introduction à la logique.
232001 La logique ou l'art de raisonner.
241997 Repères-IREM. N° 29. p. 27-42. Le raisonnement par l'absurde.Ressource en ligne
251996 Logique et raisonnement mathématique.
261995 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.
271995 La machine de Turing.
281994 Quatrième Université d'Eté d'Histoire des Mathématiques. Boole et la mathématisation des opérations de l'esprit. p. 111-138Ressource en ligne
291993 Logique quantique.
301991 La logique linéaire.
311990 L'identité en mathématiques constructives.
321977 Mathématiques et sciences humaines. N° 60. p. 31-62. Sur l'histoire des diagrammes logiques, "figures géométriques".Ressource en ligne