Silvia Crafa

SC

Corsi

ISTITUZIONI DI MATEMATICA 1 2024-2025 - SCN1033976


Categoria DIPARTIMENTO DI GEOSCIENZE / A.A.2024 - 2025 / Corsi di laurea - Bachelor's Degrees / SC1162 - SCIENZE GEOLOGICHE / Primo Anno / First Year

SCN1033976 - ISTITUZIONI DI MATEMATICA 1 2023-2024


Categoria DIPARTIMENTO DI GEOSCIENZE / A.A. 2023 - 2024 / Corsi di laurea - Bachelor's Degrees / SC1162 - SCIENZE GEOLOGICHE / I Anno

SCN1033976 - ISTITUZIONI DI MATEMATICA 1 2021-2022

Auto Enrol

Categoria DIPARTIMENTO DI GEOSCIENZE / A.A. 2021 - 2022 / Corsi di laurea / SC1162 - SCIENZE GEOLOGICHE

SCQ1098229 - ADVANCED TOPICS IN PROGRAMMING LANGUAGES 2022-2023

Auto Enrol

Categoria DIPARTIMENTO DI MATEMATICA "Tullio Levi-Civita" - DM / A.A. 2022 - 2023 / Corsi di laurea magistrale / SC2598 - COMPUTER SCIENCE

SCQ2101561 - MATHEMATICAL LOGIC 2 2023-2024

Auto Enrol
The course will be divided into two parts:

16 hours delivered by Prof. Maria Emilia Maietti on categorical logic
32 hours delivered by Prof. Silvia Crafa on constructive mathematics and computability
as presented in
https://www.math.unipd.it/~maietti/2lo/ann2lo24.pdf

Categoria DIPARTIMENTO DI MATEMATICA "Tullio Levi-Civita" - DM / A.A. 2023 - 2024 / Corsi di laurea magistrale / SC2651 - MATHEMATICS

LOGICA MATEMATICA 2024-2025 - SCM0014417

Auto Enrol

Categoria DIPARTIMENTO DI MATEMATICA "Tullio Levi-Civita" - DM / A.A.2024 - 2025 / Corsi di laurea / SC1159 - MATEMATICA