Llenguatge "Julia" (Curs 2023-2024)
Accés obert
21 de febr. 2024
105
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
Il·lustracions en TeX amb Tikz
Accés obert
21 de maig 2025
Tikz és un package de LaTeX que permet incloure il.lustracions senzilles de manera directa en el codi TeX. Introduirem les comandes bàsiques de Tikz per fer representacions gràfiques de polígons (amb ombres i fletxes), (arcs de) circumferències i el.lipses, corbes de Bézier i altres corbes parametritzades amb funcions elementals de variable real. Tikz permet crear objectes i replicar-los amb transformacions geomètriques, així com programar bucles amb la comanda \foreach. Presentarem exemples que poden ser útils en diverses situacions de l'àmbit de la docència i de la recerca.
Com crear vídeos de matemàtiques amb animació: MANIM
Accés obert
9 d’abr. 2025
En aquesta presentació introduirem la llibreria de python mamin que és l'eina més utilitzada per crear vídeos de contingut matemàtic en els que les fórmules, els objectes geomètrics, etc. poden ser animats per facilitar l'explicació dels continguts. Aquesta és l'eina que es va utilitzar al 1er concurs de vídeos de matemàtiques en l'àmbit universitari organitzat per la Numerical Factory el curs 2022-23 per crear els diferents vídeos.
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ó.
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.
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.
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.
