Year
SSD
INF/01
TAF
B
CFU
9
Detailed Description
The coruse will introduce the foundations of computability theory, complexity classes and intractable problems, and the basics of formal logic.