Llenguatge "Julia" (Curs 2023-2024)
Accés obert
21 de febr. 2024
90
visualitzacions
Giménez Febrer, Pere Joan
Genie Framework
Llenguatge "Julia", a càrrec de Pere Joan Giménez Febrer. Doctor en Telecomunicacions per la UPC i treballa en la tecnològica Genie Framework de Barcelona desenvolupant el paquet Genie de Julia.
Llicència: Reconocimiento-NoComercial-SinObraDerivada 3.0 España (CC BY-NC-ND 3.0 ES)
Vídeos de la mateixa sèrie
Llenguatge "Julia" (Curs 2023-2024)
Accés obert
21 de febr. 2024
Llenguatge "Julia", a càrrec de Pere Joan Giménez Febrer. Doctor en Telecomunicacions per la UPC i treballa en la tecnològica Genie Framework de Barcelona desenvolupant el paquet Genie de Julia.
Observable (Curs 2023-2024)
Accés obert
13 de març 2024
Observable és una plataforma per a equips de científics de dades, que permet una exploració de dades més profunda i més ràpida. Aquesta plataforma és ideal per a la visualització interactiva de dades, i permet explorar i comprendre les dades de manera més efectiva. Amb el suport per a una gran varietat de biblioteques de JavaScript, Observable us pot ajudar a convertir les dades en informació útil.
Publicació amb Quarto (Curs 2023-2024)
Accés obert
17 d’abr. 2024
Quarto és un sistema d'edició útil per a l'ensenyament i la publicació en matemàtiques basada en el llenguatge markdown. Aquest sistema permet la creació de llibres interactius amb suport per a codi executable (R, Python, Julia, etc..) , el que facilita la demostració de conceptes matemàtics d'una manera visual. A més, Quarto suporta una varietat de formats de sortida, incloent HTML per a publicació en línia i PDF per a distribució impresa, el que fa que sigui una eina molt versàtil.
Lean a l'aula: formalització a la docència
Accés obert
24 d’abr. 2024
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ó.