logique formelle

Il y a 61 résultats avec cette recherche.

1989 Tangente. N° 9. p. 14-18. Alice, la logique du rêve.

Auteur : Boudine Jean-Pierre
2009 Bulletin de l’APMEP. N° 485. p. 765-775. Atelier scientifique au collège : mathématiques et modélisation en 3D.

Auteur : Loret Francis
2010 Histoire d’algorithmes : du caillou à la puce. Vers un concept d’algorithme. p. 505-536.

Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
1995 Histoire d’algorithmes. Du caillou à la puce. Vers un concept d’algorithme. p. 505-535.

Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
2001 Actes du séminaire national de didactique des mathématiques 2000. Logique et raisonnement mathématique – variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existentiels. p. 55-83.

Auteurs : Arsac Gilbert ; Durand-Guerrier Viviane
1979 Contribution à l’étude expérimentale et à l’analyse de certaines acquisitions cognitives et de certains objectifs didactiques en mathématiques.

Auteur : Gras Régis
2017 Petit x. N° 104. p. 5-24. La logique formelle au niveau universitaire : une étude empirique en contexte de démonstration.

Auteurs : Mathieu-Soucy Sarah ; Tanguay Denis
1982 Logique formelle et logique informelle.

Auteur : Perelman Chaïm
2004 Educational Studies in Mathematics. V. 53. N° 1. p. 5-34. Which notion of implication is the right one? From logical considerations to a didactic perspective.

Auteur : Durand-Guerrier Viviane
2004 L’Ouvert. N° 109. p. 21-31. La logique et la vérité.

Auteur : Chauve Alain
2004 L’Ouvert. N° 110. p. 75-76. Commentaires sur « la logique et la vérité ».

Auteur : Friedelmeyer Jean-Pierre
1970 Bulletin de l’APMEP. N° 273. p. 89-130. Enseignement mathématique et linguistique ou comment utiliser les faits de langue à des fins d’enseignement de la mathématique : quelques exemples de problèmes.

Auteur : Gentilhomme Yves
2008 Actes du séminaire national de didactique des mathématiques 2007. Etude épistémologique et didactique de l’implication mathématique sous trois points de vue : raisonnement déductif, logique formelle et théorie des ensembles. p. 66-101.

Auteur : Deloustal-Jorrand Virginie