Articulations preuves – algorithmes – programmes Questions

Articulations preuves – algorithmes – programmes
Questions didactiques à l’interface mathématiques – informatique
Antoine Meyer1Simon Modeste2
1LIGM, Université Paris Est – Marne-la-Vallée
2I3M / DÉMa, Université Montpellier II
Journée “Interface math-info”, 17 janvier 2016
1 / 35

Avant de commencer...
Question
C’est quoi, pour vous, le rapport entre l’informatique et les math ?
Micro-trottoir fantasmé :
I“Je ne veux pas en (entendre) parler”
I“Geogebra et LibreOffice”
I“Algobox, HP et Casio”
I“Piaget, Papert et Logo”
I“Scratch (c’est nul, et je déteste ce chat)”
I“Encore un truc que nous impose qui vous savez”
I“Aucun, l’info c’est l’affaire des profs de techno”
I“L’info est une branche des math”
2 / 35

Avant de commencer...
Question
C’est quoi, pour vous, le rapport entre l’informatique et les math ?
Micro-trottoir fantasmé :
I“Je ne veux pas en (entendre) parler”
I“Geogebra et LibreOffice”
I“Algobox, HP et Casio”
I“Piaget, Papert et Logo”
I“Scratch (c’est nul, et je déteste ce chat)”
I“Encore un truc que nous impose qui vous savez”
I“Aucun, l’info c’est l’affaire des profs de techno”
I“L’info est une branche des math”
3 / 35

Avant de commencer...
Question
C’est quoi, pour vous, le rapport entre l’informatique et les math ?
Micro-trottoir fantasmé :
I“Je ne veux pas en (entendre) parler”
I“Geogebra et LibreOffice”
I“Algobox, HP et Casio”
I“Piaget, Papert et Logo”
I“Scratch (c’est nul, et je déteste ce chat)”
I“Encore un truc que nous impose qui vous savez”
I“Aucun, l’info c’est l’affaire des profs de techno”
I“L’info est une branche des math”
4 / 35

Avant de commencer...
Question
C’est quoi, pour vous, le rapport entre l’informatique et les math ?
Micro-trottoir fantasmé :
I“Je ne veux pas en (entendre) parler”
I“Geogebra et LibreOffice”
I“Algobox, HP et Casio”
I“Piaget, Papert et Logo”
I“Scratch (c’est nul, et je déteste ce chat)”
I“Encore un truc que nous impose qui vous savez”
I“Aucun, l’info c’est l’affaire des profs de techno”
I“L’info est une branche des math”
5 / 35