Journée Preuves et Démonstrations

Carte non disponible

Date/heure
Date(s) - 16/03/2015
0 h 00 min

Catégories Pas de Catégories


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

Olivier CHABROL
Posts created 14

Articles similaires

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange