| Campus: |
Bologna
|
| Corso: |
Laurea in Matematica
Laurea Magistrale in Matematica
|
| Campus: |
Bologna
|
| Corso: |
Laurea Magistrale in Matematica
|
Periodo delle lezioni: dal 14 settembre 2026 al 17 dicembre 2026
| Campus: |
Bologna
|
| Corso: |
Laurea Magistrale in Matematica
|
Insegnamenti Collegio Superiore
D0854 - PROVING THEOREMS WITH COMPUTERS: LEAN, AI AND THE FUTURE OF MATHEMATICS (Modulo 3)
| Campus: |
Bologna
|
| Corso: |
Corso ordinario scientifico-tecnologico (ciclo unico)
Corso ordinario scientifico-tecnologico (I ciclo)
Corso ordinario scientifico-tecnologico (II ciclo)
Corso ordinario scientifico-tecnologico per medicina e chirurgia
|
