Mots-clés – Auteurs

logique des propositions

Il y a 19 résultats pour cette recherche

2024 Actes du colloque CORFEM 2022. L’implication, pierre angulaire du raisonnement. p. 165-185.
Auteurs : Gardes Denis ; Gardes Marie-Line
2020 Repères-IREM. N° 119.
Auteur : Repères-IREM Comité de rédaction. Dir.
2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l’interface des mathématiques et de l’informatique.
Auteurs : Leon Nicolas ; Modeste Simon
2020 Histoires de Mathématiques. Logique. Le tournant mathématique.
Auteur : Ycart Bernard
2018 Vidéo de l’IREM de Paris – Séminaire de l’IREM de Paris. Les propositions mathématiques « indécidables ».
Auteur : Cori René
2016 Repères-IREM. N° 105.
Auteur : Repères-IREM Comité de rédaction. Dir.
2016 Repères-IREM. N° 105. p. 5-20. La logique mathématique : un langage expert à s’approprier.
Auteurs : Fitamant Christelle ; Saux-Picart Philippe ; Tirat Marie-Aline
2013 MATHS MPSI.
Auteurs : Nguyen Nicolas ; Damin Walter ; Fontes Mathieu ; Jan Christophe
2013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.
Auteur : Cohen Gilles. Dir.
2011 Petit x. N° 87. p. 31-52. Une étude didactique de quelques éléments de raisonnement mathématique et de logique.
Auteurs : Fabert Charlotte ; Grenier Denise
2011 Vidéo de l’IREM de Paris – Séminaire de l’IREM de Paris. Grandeur et misère de l’implication.
Auteur : Lacombe Daniel
2009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
Auteur : Cohen Gilles. Dir.
2009 Bibliothèque Tangente. N° 37. Sous l’ordinateur, les booléens. p. 54-58.
Auteur : Lehning Hervé
2004 Actes du Séminaire National de Didactique des mathématiques 2003. Traitement de la validité de l’implication par des étudiants, corrélations avec leurs performances mathématiques, liens avec diverses questions de psychologique cognitive. p. 227-255.
Auteurs : Rogalski Janine ; Rogalski Marc
2004 Actes du Séminaire National de Didactique des mathématiques. Année 2003.
Auteurs : Durand-Guerrier Viviane. Dir. ; Tisseron Claude. Dir.
1995 Tangente. N° 45. p. 20-21. Raisonner.
Auteur : Dupuis Francis
1984 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1977 Information mathématique. N° 10. p. 9-29. Compte rendu des activités 76-77 du groupe math-physique. Centre de Digne.
Auteur : IREM d’Aix-Marseille – Centre de Digne Groupe Math-Physique
1975 Introduction à la logique.
Auteur : Haug Philippe-Jacques