Skip to content

Computability, Complexity and Logic

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.