Objectes multimèdia amb l’etiqueta: Facultat de Matemàtiques i Estadística

Resultats de la cerca

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.

Recordando a G.E.P. Box: sus contribuciones y algunas experiencias personales. Jornada Box (2023-2024)

Accés obert
22 de nov. 2023
Daniel Peña, professor emèrit d'Estadística i exrector de la Universidad Carlos III de Madrid (UC3M), co-autor de Box en diverses publicacions i gran coneixedor de la seva obra serà el conferenciant de la jornada. La conferència tindrà lloc dimecres 22 de novembre de 2023 a les 12h30 a la sala d’actes de la Facultat. Daniel Peña, professor emèrit d'Estadística i exrector de la Universidad Carlos III de Madrid (UC3M), co-autor de Box en diverses publicacions i gran coneixedor de la seva obra, serà qui impartirà la ponència amb el títol: “Recordando a G.E.P. Box: Sus contribuciones y algunas experiencias personales” Se revisará la vida de G.E.P. Box y sus contribuciones principales a la estadística, con una mención especial a sus trabajos pioneros en el análisis de datos masivos. Se comentará también su estrecha relación con España y algunas experiencias personales de sus visitas a nuestro país.

Remembering George E.P. Box with: Inez M. Zwetsloot (University of Amsterdam) Curs Box 2023-2024

Accés obert
13 de nov. 2023
Remembering George E.P. Box with: Inez M. Zwetsloot (University of Amsterdam) Curs Box 2023-2024