Programma di Linguaggi E Sistemi Formali Mod. B:

- Tempo psicologico, tempo fenomenico, tempo fisico
- Elementi di logica del tempo

Indicazioni bibliografiche:
La Nuova Civiltà delle Macchine, anno XVII, fascicoli 1-2 (1999), passi scelti
Teorie e Modelli, anno III, fascicoli 1-2 (1999), passi scelti
Dispense di logica formale, a cura del docente