Logiche Temporali
a.a. 2024/25
Responsabile didattico: Angelo Montanari
Periodo: secondo semestre
Durata: 28 ore
Programma:
- Inquadramento generale (tempo oggettivo e soggettivo, tempo e linguaggio, il tempo della fisica);
- Logica e tempo;
- Informatica e tempo;
- Considerazioni finali