Date(s) : 16/03/2015 iCal
0 h 00 min
Journée thématique
–
Les concepts de preuves et les principes de démonstrations sont des notions centrales en mathématiques et dans les disciplines associées ou celles qui s’occupent de les étudier. Cette journée organisée pour les 15èmes rencontres scientifiques enseignants-chercheurs, sera consacrée à l’étude de certains problèmes que pose la compréhension de ces notions, en les abordant selon différents points de vue : par l’enseignement des mathématiques, par l’histoire des mathématiques, par la logique et par l’informatique.
–
Lieu : FRUMAM (accès)
–
*PROGRAMME
:
–
– 9h30, {{Myriam Quatrini}} (I2M, AMU/CNRS) :
Une petite introduction à la théorie de la démonstration
–
– 10h45, Pause café
–
– 11h00, {{René Cori}} (IMJ-PRG Université Paris-Diderot/CNRS) :
La démonstration au collège et au lycée : état des lieux
–
– 12h15, Déjeuner
–
– 14h00, {{Philippe Abgrall}} (CEPERC, AMU/CNRS) et Marouane Ben Miled (ENIT, Université al-Manar, Tunis) :
Algorithme, justification et démonstration dans quelques textes algébriques écrits entre le IXe et le XIe siècle
–
– 15h15, Pause café
–
– 15h30, {{Denis Lugiez}} (LIF, AMU/CNRS)
Logique temporelle et vérification de systèmes informatiques
–
*Organisateurs
:
– Philippe Abgrall (CEPERC, AMU/CNRS)
– Marie Anglade (CEPERC, AMU/CNRS)
– Denis Lugiez (LIF, Marseille)
– Laurent Regnier (I2M, Marseille)
–
*Partenaires
:
– CEPERC
– I2M
– LIF
– FRUMAM
–
Site web« >Site web
Catégories Pas de Catégories