Accedi ai contenuti del sito della scuola
Corso di Laurea Magistrale in
Logica, Filosofia delle scienze e Metodi della ricerca
Avvisi
M. Ciardi
Calendario Lezioni Storia della Scienza
Queste le prossime lezioni: martedì 29 set - merc 30 set - giov 1 ottobre - mart 6 ott - merc 7 ott - giov 8 ott - giov 15 ott - mart 20 ott - merc 21 ott - giov 22 ott. - lun 26 (Capponi, aula 11 h. 14-16) - mart 27 (aula 201 San Gallo h. 11.13)
29.09.2026
M. Maggesi
Novità per Geometria Computazionale Simbolica
Da quest'anno il corso si concentrerà sulla programmazione con il theorem prover Lean. È disponibile una nuova presentazione del corso: https://bit.ly/4yGgOzI Il corso inizia lunedì 21 settembre.
17.09.2026