logique des propositions

Il y a 19 résultats avec cette recherche.

2016 Repères-IREM. N° 105.

Auteur : Repères-IREM Comité de rédaction. Dir.
2024 Actes du colloque CORFEM 2022. L’implication, pierre angulaire du raisonnement. p. 165-185.

Auteurs : Gardes Denis ; Gardes Marie-Line
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
2013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.

Auteur : Cohen Gilles. Dir.
2009 Bibliothèque Tangente. N° 37. Sous l’ordinateur, les booléens. p. 54-58.

Auteur : Lehning Hervé
2009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.

Auteur : Cohen Gilles. Dir.
2004 Actes du Séminaire National de Didactique des mathématiques. Année 2003.

Auteurs : Durand-Guerrier Viviane. Dir. ; Tisseron Claude. Dir.
2020 Histoires de Mathématiques. Logique. Le tournant mathématique.

Auteur : Ycart Bernard
2013 MATHS MPSI.

Auteurs : Nguyen Nicolas ; Damin Walter ; Fontes Mathieu ; Jan Christophe
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
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
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
1984 Introduction à la logique.

Auteur : Haug Philippe-Jacques
1975 Introduction à la logique.

Auteur : Haug Philippe-Jacques
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
1995 Tangente. N° 45. p. 20-21. Raisonner.

Auteur : Dupuis Francis
2018 Vidéo de l’IREM de Paris – Séminaire de l’IREM de Paris. Les propositions mathématiques « indécidables ».

Auteur : Cori René
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