Aide à la recherche   Requête : logique classique

31 fiches trouvées

Reponses 21 à 31

21	2003 Tangente Hors-série. N° 15. Vol. 2. p. 18-20. La logique floue.
22	2001 Introduction à la logique.
23	2001 La logique ou l'art de raisonner.
24	1997 Repères-IREM. N° 29. p. 27-42. Le raisonnement par l'absurde.
25	1996 Logique et raisonnement mathématique.
26	1995 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.
27	1995 La machine de Turing.
28	1994 Quatrième Université d'Eté d'Histoire des Mathématiques. Boole et la mathématisation des opérations de l'esprit. p. 111-138
29	1993 Logique quantique.
30	1991 La logique linéaire.
31	1990 L'identité en mathématiques constructives.