logique propositionnelle

Il y a 15 résultats avec cette recherche.

2012 Actes du Colloque EMF 2012. Enseignement des mathématiques et contrat social : enjeux et défis pour le 21e siècle.

Auteurs : Dorier Jean-Luc. Dir. ; Coutat Sylvia. Dir.
2019 Bibliothèque Tangente. N° 38. Edition 2019. Mathématiques et philosophie.

Auteur : Cohen Gilles. Dir.
2009 Tangente Hors-série. N° 38. Mathématiques et philosophie.

Auteur : Cohen Gilles. Dir.
2010 Bibliothèque Tangente. N° 38. Mathématiques et philosophie.

Auteur : Cohen Gilles. Dir.
2011 Logique et raisonnement.

Auteur : Freund Michael
2015 La logique pas à pas.

Auteur : Duparc Jacques
1964 Bulletin de l’APMEP. N° 239. p. 343-358. Les mots et les symboles.

Auteurs : Lacombe Daniel ; Chayé Jacques ; Gillet A. ; Duval Alain
1991 Bulletin de l’APMEP. N° 378. p. 161-166. Vers la quantification.

Auteur : Chevallier Jean-Maurice
2014 Bulletin de l’APMEP. N° 511. p. 524-530. Une progression pour l’enseignement de la logique propositionnelle au lycée.

Auteur : Larrieu Jean-Yves
1991 Quadrature. N° 8. p. 11-12. Boole : vraiment un oiseau de nuit en plein jour.

Auteur : Vidiani Lazare Georges
2012 Actes du Colloque EMF 2012. Enquêtes épistémologique et didactique du concept de la quantification. p. 593-602.

Auteurs : Chellougui Faïza ; Kouki Rahim
2012 Actes du Colloque EMF 2012. Vérité mathématique et validité logique – Perspectives épistémologique et didactique. p. 414-424.

Auteur : Durand-Guerrier Viviane
1964 Bulletin de l’APMEP. N° 240. p. 449-458. Les mots et les symboles.

Auteur : Lacombe Daniel
2009 Bulletin de l’APMEP. N° 485. p. 792-794. Algorithmique en Seconde au fil du net.

Auteur : Kuntz Gérard
2010 Mathématice. N° 19. La logique, la princesse, un tableur et les tigres.

Auteur : Oriol Jean-Claude