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