Journée Preuves et Démonstrations




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



Retour en haut