Total de resultats de la cerca: 9062
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ó.
Benvinguda
Accés obert
24 d’abr. 2024
Research Café 12: Humanitats digitals
24 d'abril de 2024 al CRAI Biblioteca de Filosofia, Geografia i Història de la Universitat de Barcelona (UB)
Biblioteques que organitzen: Biblioteca ETSAB de la UPC i CRAI Biblioteca de Filosofia, Geografia i Història (UB)
24 d'abril de 2024 al CRAI Biblioteca de Filosofia, Geografia i Història de la Universitat de Barcelona (UB)
Biblioteques que organitzen: Biblioteca ETSAB de la UPC i CRAI Biblioteca de Filosofia, Geografia i Història (UB)
PortADa - Port Arrivals Data
Accés obert
24 d’abr. 2024
Research Café 12: Humanitats digitals
24 d'abril de 2024 al CRAI Biblioteca de Filosofia, Geografia i Història de la Universitat de Barcelona (UB)
Biblioteques que organitzen: Biblioteca ETSAB de la UPC i CRAI Biblioteca de Filosofia, Geografia i Història (UB)
24 d'abril de 2024 al CRAI Biblioteca de Filosofia, Geografia i Història de la Universitat de Barcelona (UB)
Biblioteques que organitzen: Biblioteca ETSAB de la UPC i CRAI Biblioteca de Filosofia, Geografia i Història (UB)
Petjades urbanes a El Caire
Accés obert
24 d’abr. 2024
Research Café 12: Humanitats digitals
24 d'abril de 2024 al CRAI Biblioteca de Filosofia, Geografia i Història de la Universitat de Barcelona (UB)
Biblioteques que organitzen: Biblioteca ETSAB de la UPC i CRAI Biblioteca de Filosofia, Geografia i Història (UB)
24 d'abril de 2024 al CRAI Biblioteca de Filosofia, Geografia i Història de la Universitat de Barcelona (UB)
Biblioteques que organitzen: Biblioteca ETSAB de la UPC i CRAI Biblioteca de Filosofia, Geografia i Història (UB)
Networks of support
Accés obert
24 d’abr. 2024
"El Besòs i el Maresme is one of the most culturally diverse and socially challenged communities in Barcelona. In this context, there are different networks of people who work together to provide mutual support. From learning to read and write Spanish and Catalan to having a plate to eat every day, the neighbours organize to fulfil all the necessities of the community."
Les eines digitals en l'estudi de l'economia i societat greco-romanes
Accés obert
24 d’abr. 2024
Research Café 12: Humanitats digitals
24 d'abril de 2024 al CRAI Biblioteca de Filosofia, Geografia i Història de la Universitat de Barcelona (UB)
Biblioteques que organitzen: Biblioteca ETSAB de la UPC i CRAI Biblioteca de Filosofia, Geografia i Història (UB).
Arnau Lario Devesa, Carlos Palacín Copado i Oriol Morillas Samaniego del Centre per a l'estudi de la interdependència provincial a l'antigüitat clàssica (CEIPAC). Les eines digitals en l'estudi de l'economia i societat greco-romanes.
24 d'abril de 2024 al CRAI Biblioteca de Filosofia, Geografia i Història de la Universitat de Barcelona (UB)
Biblioteques que organitzen: Biblioteca ETSAB de la UPC i CRAI Biblioteca de Filosofia, Geografia i Història (UB).
Arnau Lario Devesa, Carlos Palacín Copado i Oriol Morillas Samaniego del Centre per a l'estudi de la interdependència provincial a l'antigüitat clàssica (CEIPAC). Les eines digitals en l'estudi de l'economia i societat greco-romanes.
Functional molecular photoswitches for energy storage and beyond
Accés obert
23 d’abr. 2024
Simposi que va tenir lloc entre els dies 26 i 29 d'abril a l'EEBE, UPC / Conference held between April 26 and 29 at the EEBE, UPC
10 anys del programa Challenge Based Innovation
Accés obert
22 d’abr. 2024
El programa Challenge Based Innovation (CBI), que ha permès centenars d’estudiants de la UPC, Esade i l’Istituto Europeo di Design (IED Barcelona) crear 68 respostes innovadores a reptes de la humanitat aprofitant la tecnologia i el coneixement del CERN, celebra el seu 10è aniversari.
Puc estar patint una malaltia mental i no saber-ho?!
Accés obert
18 d’abr. 2024
Xerrada sobre salut mental dins el marc de les activitats de la Setmana Saludable UPC 2024. Conduïda per la psicòloga i tècnica del Programa Ocell de Foc - Garraf, Mia Sans Osuna.
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.
Wastewater Urbanism: who has the right to the sewage?
Accés obert
15 d’abr. 2024
En el marc del cicle de conferències 8M a l'ETSAB
