| Campus: |
Bologna
|
| Corso: |
Laurea Magistrale in Informatica
|
Periodo delle lezioni: dal 21 settembre 2026 al 15 dicembre 2026
Componente del corso integrato LANGUAGES AND ALGORITHMS FOR ARTIFICIAL INTELLIGENCE I.C.
| Campus: |
Bologna
|
| Corso: |
Laurea Magistrale in Artificial Intelligence
|
Periodo delle lezioni: dal 19 ottobre 2026 al 17 dicembre 2026
| Campus: |
Bologna
|
| Corso: |
Laurea in Informatica
|
Periodo delle lezioni: dal 22 settembre 2026 al 18 dicembre 2026
Insegnamenti Collegio Superiore
D0854 - PROVING THEOREMS WITH COMPUTERS: LEAN, AI AND THE FUTURE OF MATHEMATICS (Modulo 1)
| 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
|
