Rebreu petites dosis de nova tecnologia amb interès per a la docència de les matemàtiques a nivell universitari

PDI amb docència de matemàtiques i àrees afins

Lean a l'aula: formalització a la docència

L'assistent de demostracions LEAN és un llenguatge que ens permet escriure codi que conté definicions, enunciats i demostracions matemàtiques, i que no ens permet cometre errors. En els últims dos anys he estat utilitzant aquest sistema per introduir estudiants de diversos nivells al món de la formalització. Explicaré com ensenyem la geometria de Hilbert a estudiants de 4t d'ESO i Batxillerat fent servir aquest llenguatge, i com també l'hem fet servir amb estudiants de diferents cursos de matemàtiques a la UAB, sota el programa "Lean a l'Aula". Veurem com s'interactua amb aquest sistema a la pràctica, i entre tots formalitzarem alguna demostració

Demostració amb ordinador i projector (presencial i en streaming)

La certificació a les persones participants estarà supeditada a la prèvia inscripció i acceptació pel mitjà establert (electrònicament a través del web), a l'assistència a sessions presencials i a l'avaluació positiva dels treballs proposats pels formadors/res. El personal docent i investigador de la UPC que participi a l’activitat, uns dies després de la finalització, disposarà de manera automàtica de la informació a DRAC.