BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:5214@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20240621T100000
DTEND;TZID=Europe/Paris:20240621T130000
DTSTAMP:20241209T160957Z
URL:https://www.i2m.univ-amu.fr/evenements/soutenance-de-these-de-luigi-be
 rnardi/
SUMMARY:Luigi Bernardi (I2M\, Aix-Marseille Université & Roma Tre): Logic 
 Education: Playing with True and False
DESCRIPTION:Luigi Bernardi: Cette thèse introduit une interprétation dial
 ogique des preuves à travers le\njeu TUVA\, en s'appuyant sur le travail 
 de J.L. Krivine. En particulier\, elle\nmontre la correspondance entre les
  stratégies gagnantes dans le jeu et les\npreuves dans LK. Elle explore e
 nsuite l'application de ce cadre théorique dans\nla didactique des mathé
 matiques\, en analysant les connexions entre les concepts\nde preuve en lo
 gique mathématique et en didactique\, à travers les lentilles\nthéoriqu
 es fournies par le jeu TUVA. Un programme éducatif pour introduire à la\
 nlogique\, basé sur le jeu et aligné avec les théories de la didactique
  des\nmathématiques\, est alors proposé et analysé.\n\n&nbsp\;
CATEGORIES:Soutenance de thèse,AGLR,Logique et Interactions
LOCATION:Luminy - Salle E.02.07 du bâtiment TPR1\, Campus de Luminy\, Mars
 eille\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Campus de Luminy\, Marseill
 e\, France;X-APPLE-RADIUS=100;X-TITLE=Luminy - Salle E.02.07 du bâtiment 
 TPR1:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20240331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR