Year
SSD
INF/01
TAF
B
CFU
9
Detailed Description
Il corso introdurrà le basi della teoria della computabilità, classi di complessità e problemi intrattabili e le basi della logica formale.
Il corso introdurrà le basi della teoria della computabilità, classi di complessità e problemi intrattabili e le basi della logica formale.